[ 23:24 antoine  ]

• 372546 math/GiNaC/pkg-plist
• 372546 math/R/pkg-plist
• 372546 math/abacus/pkg-plist
• 372546 math/abakus/pkg-plist
• 372546 math/add/pkg-plist
• 372546 math/algae/pkg-plist
• 372546 math/algotutor/Makefile
• 372546 math/algotutor/pkg-plist
• 372546 math/alt-ergo/pkg-plist
• 372546 math/ann/Makefile

Cleanup plist

[ 21:57 arved  ]

• 1.473 math/Makefile
• 1.1 math/facile/Makefile
• 1.1 math/facile/distinfo
• 1.1 math/facile/pkg-descr
• 1.1 math/facile/pkg-plist

Add facile, a Functional Constraint Library written in Ocaml