#merge "dose:/home/dicosmo/Projects/MDK/REVIEW/2007-09-12/DEMO/recompiled_dose
#merge "dose:/home/dicosmo/Projects/MDK/REVIEW/2007-09-12/DEMO/recompiled_dose"
#merge "dose:/home/dicosmo/Projects/MDK/REVIEW/2007-09-12/DEMO/stable_dose"
#merge "dose:/home/dicosmo/Projects/MDK/REVIEW/2007-09-12/DEMO/unstable_dose"
#help
%archives
archives
$recompiled <- contents(%recompiled, 2007-06-19)
$rec_all <- $recompiled ~ /@all$/
$rec_all
$recompiled
$unstable <- contents(%debian/unstable/main/i386, 2007-06-19)
$unstable_all <- $unstable ~ /@all$/
$new_all_pkgs <- $unstable_all \ $rec_all 
$recompiled <- $recompiled | $new_all_pkgs
$stable <- contents(%debian/stable/main/i386, 2007-06-19)
$common_units <- (begin map($recompiled, $x->unit($x)) end & map($unstable, $x->unit($x)))
$rec2 <- filter ($recompiled, $x->member(unit($x), $common_units))
$co_recompiled <- $p->filter($recompiled,$x->source($x)=source($p))
$co_unstable <- $p->filter($unstable,$x->source($x)=source($p))
$stable_rest <- $x->filter($stable,$y->not begin member(unit($y),map($x,$z->unit($z))) end)
$filt1 <- $z->let $co=$co_recompiled($z) in let $er=$stable_rest($co) in success(check({$z},$co|$er))
$filt2 <- $z->let $co=$co_unstable($z) in let $er=$stable_rest($co) in not begin success(check(filter($unstable,$q->unit($q)=unit($z)),$co|$er)) end
$result <- filter($rec2 ~/^a/ ,$x->(begin $filt1($x) end & $filt2($x)))
#merge "doserpm:/home/dicosmo/Projects/MDK/REVIEW/2007-09-12/DEMO/hdlist_dose"
$disk0 <- load_packages ("demo.disk0")
$disk1 <- load_packages ("demo.disk1")
$disk2 <- load_packages ("demo.disk2")
#abundance $disk0
#help
#help "directives"
#help "functions"
#quit
#exit
#merge "doserpm:/home/dicosmo/Projects/MDK/REVIEW/2007-09-12/DEMO/hdlist_dose"
$disk0 <- load_packages ("demo.disk0")
$disk1 <- load_packages ("demo.disk1")
$disk2 <- load_packages ("demo.disk2")
#abundance $disk0
#quit
#merge "doserpm:/home/dicosmo/Projects/MDK/REVIEW/2007-09-12/DEMO/hdlist_dose"
$disk0 <- load_packages ("demo.disk0")
$disk1 <- load_packages ("demo.disk1")
$disk2 <- load_packages ("demo.disk2")
#abundance $disk0
#quit
#merge "doserpm:/home/dicosmo/Projects/MDK/REVIEW/2007-09-12/DEMO/hdlist_dose"
$disk0 <- load_packages ("demo.disk0")
$disk1 <- load_packages ("demo.disk1")
$disk2 <- load_packages ("demo.disk2")
#abundance $disk0
#abundance $disk0|$disk1
#abundance ($disk0|$disk1)
#abundance ($disk0 | $disk1)
$d01 <- $disk0|$disk1
$d012 <- $disk0|$disk1|$disk2
#abundance $d01
#abundance $d012
#abundance $disk1
#abundance $disk2
#quit
#merge "doserpm:/home/dicosmo/Projects/MDK/REVIEW/2007-09-12/DEMO/hdlist_dose"
#help
archives
%hdlist
units
versions
sources
packages
#help functions
#help
#help "functions"
$oc <- packages ~ /^oca/
$oc
closure($oc)
check({ocaml'3.09.2-4mdv2007.0@i586},$oc)
$diag <- check({ocaml'3.09.2-4mdv2007.0@i586},$oc)
success($diag)
#help
#help "functions"
#help "directives"
#help
#quit
