git.pld-linux.org Git - packages/ppl.git/shortlog

]> git.pld-linux.org Git - packages/ppl.git/shortlog

projects / packages / ppl.git / shortlog

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2012-12-07	Jan Rękorajski	- typo	commit \| commitdiff \| tree \| snapshot
2012-12-07	Jan Rękorajski	- pass java_home to configure (hardcoded /usr/lib fails...	commit \| commitdiff \| tree \| snapshot
2012-12-07	Jan Rękorajski	- disabled yap bcond, fails miserably on x86-64	commit \| commitdiff \| tree \| snapshot
2012-12-07	Jan Rękorajski	- disabled ciao bcond due to issues when building on...	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- update for current ciao prolog auto/th/ppl-0_12-1 auto/ti/ppl-0.12-1	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- added expected xsb files (as XSB-ppl{,-static} packag...	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- added Ciao prolog support	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- updated yap build, build the module by default (packa...	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- build SWI-Prolog support by default (as swipl-* packa...	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- package gprolog module (as gprolog-ppl-*)	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- enable ocaml by default; needs ocaml-gmp module	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- build java binding	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- updated to 0.12 (note: new libppl soname; pwl has...	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- pl, unified	commit \| commitdiff \| tree \| snapshot
2012-06-24	Arkadiusz Miśkiewicz	- rel 1 auto/th/ppl-0_11_2-1 auto/ti/ppl-0.11.2-1	commit \| commitdiff \| tree \| snapshot
2012-06-24	Elan Ruusamäe	- new, initially based on fedora package auto/th/ppl-0_11_2-0_1	commit \| commitdiff \| tree \| snapshot

The Parma Polyhedra Library: a library of numerical abstractions

This page took 0.085431 seconds and 4 git commands to generate.