]>
git.pld-linux.org Git - packages/ppl.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Jan Rękorajski [Fri, 7 Dec 2012 12:38:40 +0000 (13:38 +0100)]
- release 2 (by relup.sh)
Jan Rękorajski [Fri, 7 Dec 2012 11:44:05 +0000 (12:44 +0100)]
- typo
Jan Rękorajski [Fri, 7 Dec 2012 11:42:24 +0000 (12:42 +0100)]
- pass java_home to configure (hardcoded /usr/lib fails build on x86_64)
Jan Rękorajski [Fri, 7 Dec 2012 01:01:30 +0000 (02:01 +0100)]
- disabled yap bcond, fails miserably on x86-64
Jan Rękorajski [Fri, 7 Dec 2012 00:47:27 +0000 (01:47 +0100)]
- disabled ciao bcond due to issues when building on x86-64
Jakub Bogusz [Wed, 23 May 2012 17:52:37 +0000 (17:52 +0000)]
- update for current ciao prolog
Changed files:
ppl-ciao.patch -> 1.1
Jakub Bogusz [Wed, 23 May 2012 17:52:21 +0000 (17:52 +0000)]
- added expected xsb files (as XSB-ppl{,-static} packages) on bcond (off by default, XSB is not finished yet)
Changed files:
ppl.spec -> 1.11
Jakub Bogusz [Fri, 13 Apr 2012 19:38:06 +0000 (19:38 +0000)]
- added Ciao prolog support
Changed files:
ppl.spec -> 1.10
Jakub Bogusz [Sun, 1 Apr 2012 13:53:18 +0000 (13:53 +0000)]
- updated yap build, build the module by default (packaged as Yap-ppl)
Changed files:
ppl.spec -> 1.9
Jakub Bogusz [Sun, 18 Mar 2012 18:12:47 +0000 (18:12 +0000)]
- build SWI-Prolog support by default (as swipl-* packages, with swipl bcond)
Changed files:
ppl.spec -> 1.8
Jakub Bogusz [Fri, 16 Mar 2012 16:36:56 +0000 (16:36 +0000)]
- package gprolog module (as gprolog-ppl-*)
Changed files:
ppl.spec -> 1.7
Jakub Bogusz [Thu, 15 Mar 2012 19:14:55 +0000 (19:14 +0000)]
- enable ocaml by default; needs ocaml-gmp module
Changed files:
ppl.spec -> 1.6
Jakub Bogusz [Wed, 14 Mar 2012 17:45:48 +0000 (17:45 +0000)]
- build java binding
Changed files:
ppl.spec -> 1.5
Jakub Bogusz [Tue, 13 Mar 2012 18:36:56 +0000 (18:36 +0000)]
- updated to 0.12 (note: new libppl soname; pwl has been merged into main lib)
Changed files:
ppl.spec -> 1.4
Jakub Bogusz [Fri, 13 Jan 2012 21:06:23 +0000 (21:06 +0000)]
- pl, unified
Changed files:
ppl.spec -> 1.3
Arkadiusz Miśkiewicz [Thu, 29 Dec 2011 20:24:34 +0000 (20:24 +0000)]
- rel 1
Changed files:
ppl.spec -> 1.2
Elan Ruusamäe [Mon, 14 Nov 2011 22:01:15 +0000 (22:01 +0000)]
- new, initially based on fedora package
Changed files:
ppl.spec -> 1.1
This page took 0.335706 seconds and 4 git commands to generate.