]> git.pld-linux.org Git - packages/ppl.git/history - ppl.spec
- release 5 (by relup.sh)
[packages/ppl.git] / ppl.spec
2014-07-26 Jan Rękorajski- release 5 (by relup.sh) auto/th/ppl-1.0-5
2014-03-15 Jan Rękorajski- release 4 (by relup.sh) auto/th/ppl-1.0-4
2014-01-22 Jan Rękorajski- release 3 (by relup.sh) auto/th/ppl-1.0-3
2013-07-07 Jan Rękorajski- release 2 (by relup.sh) auto/th/ppl-1.0-2
2013-05-14 Jakub Bogusz- added glpk-api12 patch (update glpk API usage; should...
2013-05-12 Jan Rękorajski- updated files auto/th/ppl-1.0-1
2013-05-12 Jan Rękorajski- updated to 1.0
2012-12-07 Jan Rękorajski- rel 3 auto/th/ppl-0.12-3
2012-12-07 Jan RękorajskiMerge branch 'master' of git://git.pld-linux.org/packag...
2012-12-07 Jan Rękorajski- fix internal deps
2012-12-07 Jan Rękorajski- release 2 (by relup.sh) auto/th/ppl-0.12-2
2012-12-07 Jan Rękorajski- typo
2012-12-07 Jan Rękorajski- pass java_home to configure (hardcoded /usr/lib fails...
2012-12-07 Jan Rękorajski- disabled yap bcond, fails miserably on x86-64
2012-12-07 Jan Rękorajski- disabled ciao bcond due to issues when building on...
2012-06-24 Jakub Bogusz- added expected xsb files (as XSB-ppl{,-static} packag...
2012-06-24 Jakub Bogusz- added Ciao prolog support
2012-06-24 Jakub Bogusz- updated yap build, build the module by default (packa...
2012-06-24 Jakub Bogusz- build SWI-Prolog support by default (as swipl-* packa...
2012-06-24 Jakub Bogusz- package gprolog module (as gprolog-ppl-*)
2012-06-24 Jakub Bogusz- enable ocaml by default; needs ocaml-gmp module
2012-06-24 Jakub Bogusz- build java binding
2012-06-24 Jakub Bogusz- updated to 0.12 (note: new libppl soname; pwl has...
2012-06-24 Jakub Bogusz- pl, unified
2012-06-24 Arkadiusz Miśkiewicz- rel 1 auto/th/ppl-0_11_2-1 auto/ti/ppl-0.11.2-1
2012-06-24 Elan Ruusamäe- new, initially based on fedora package auto/th/ppl-0_11_2-0_1
This page took 0.188757 seconds and 33 git commands to generate.