#dump "/tmp/sizes" (treat(packages, $x -> [$x;size($x)]))
$p1 <- load_packages("/tmp/disk0")
count($p1)
help
?
#help
#abundance($p1)
$c1 <- conflicts($p1)
count ($c1)
$c1 & $p1
#install $p1
clear
quit
#load "/tmp/tmp.32629"
#help
#load /tmp/tmp.32629
#load "/tmp/tmp.32629"
#load "/tmp/toto"
#lifetime "gcc"
#lifetime gcc
#lifetime bash
#info bash
#load
#load "script-001.sh"
#load "toto"
#load "/tmp/t"
#load "/tmp/t"
#help
$f <- encode(latest(ocaml),packages) 
#ignore (let $cnf = true in $dump_formula "/tmp/gogo" (encode(latest(gcc),packages)))  
$f <- encode(latest(ocaml),packages)
#ignore (let $cnf = true in $dump_formula "/tmp/gogo" (encode(latest(gcc),packages)))
let $cnf = true in $dump_formula "/tmp/gogo" (encode(latest(gcc),packages))
let $cnf = true in $dump_formula "/tmp/gogo" (encode(latest(gcc),packages))
let $cnf = true in $dump_formula "/tmp/go" (encode(latest(gcc),packages))
#ignore (let $cnf = true in $dump_formula "/tmp/g" (encode(latest(gcc),packages)))
$f <- encode(latest(ocaml),packages)
#ignore (let $cnf=true in $dump_formula "/tmp/formula.11845" $f)
#ignore (let $cnf = true in $dump_formula "/tmp/formula.11845" $f)
$f <- encode(latest(gcc),packages)
#ignore (let $cnf = true in $dump_formula "/tmp/g" $f)
$f <- encode(latest(gcc),packages)
#ignore (let $cnf = true in $dump_formula "/tmp/g" $f)
$p <- load_packages("disk0")
$p
$p <- load_packages("/tmp/disk0")
count($p)
#abundance $p
$p & conflicts($p)
#help
forall($p, ($i -> install($i,$p)))
forall($p, ($i -> (#install $i $p)))
forall($p, ($i -> (#install $i $p))
forall($p, ($i -> (#install $i $p)))
exists($p, is_empty($i -> install($i,$p)))
trim($p)
$q<-trim($p)
exists($p, is_empty($i -> install($i,$p)))
$q <- $p ~ /ocaml/
$q
install(latest(ocaml),$p)
is_empty(install(latest(ocaml),$p))
exists($p, ($i -> is_empty(install($i,$p))))
$p <- load_packages("/tmp/disk0")
#abundance $p
q
$p <- $load_package "/tmp/disk0"
#env
#help
$p <- $load_packages "/tmp/disk0"
$p <- load_packages "/tmp/disk0"
$p <- load_packages("/tmp/disk0")
count ($p)
#abundance $p
$p & conflicts($p)
#help
exists($p,($a -> is_empty(install($a,$p))))
quit
q
$p <- load_packages "/tmp/d0"
$p <- load_packages("/tmp/d0")
count($p)
#abundance $p
exists($p,($a -> is_empty(install($a,$p))))
$q <- load_packages("/tmp/d1")
#abundance $q
help
?
#help
$a <- $p | $q
count($a)
#abundance $a
exists($a,($b -> is_empty(install($b,$a))))
quit
#quit
