]> git.pld-linux.org Git - packages/ppl.git/log
packages/ppl.git
11 years ago- release 2 (by relup.sh) auto/th/ppl-0.12-2
Jan Rękorajski [Fri, 7 Dec 2012 12:38:40 +0000 (13:38 +0100)]
- release 2 (by relup.sh)

11 years ago- typo
Jan Rękorajski [Fri, 7 Dec 2012 11:44:05 +0000 (12:44 +0100)]
- typo

11 years ago- pass java_home to configure (hardcoded /usr/lib fails build on x86_64)
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)

11 years ago- disabled yap bcond, fails miserably 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

11 years ago- disabled ciao bcond due to issues when building 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

11 years ago- update for current ciao prolog auto/th/ppl-0_12-1 auto/ti/ppl-0.12-1
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

11 years ago- added expected xsb files (as XSB-ppl{,-static} packages) on bcond (off by default...
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

11 years ago- added Ciao prolog support
Jakub Bogusz [Fri, 13 Apr 2012 19:38:06 +0000 (19:38 +0000)]
- added Ciao prolog support

Changed files:
    ppl.spec -> 1.10

11 years ago- updated yap build, build the module by default (packaged as Yap-ppl)
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

11 years ago- build SWI-Prolog support by default (as swipl-* packages, with swipl bcond)
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

11 years ago- package gprolog module (as gprolog-ppl-*)
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

11 years ago- enable ocaml by default; needs ocaml-gmp module
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

11 years ago- build java binding
Jakub Bogusz [Wed, 14 Mar 2012 17:45:48 +0000 (17:45 +0000)]
- build java binding

Changed files:
    ppl.spec -> 1.5

11 years ago- updated to 0.12 (note: new libppl soname; pwl has been merged into main lib)
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

11 years ago- pl, unified
Jakub Bogusz [Fri, 13 Jan 2012 21:06:23 +0000 (21:06 +0000)]
- pl, unified

Changed files:
    ppl.spec -> 1.3

11 years ago- rel 1 auto/th/ppl-0_11_2-1 auto/ti/ppl-0.11.2-1
Arkadiusz Miśkiewicz [Thu, 29 Dec 2011 20:24:34 +0000 (20:24 +0000)]
- rel 1

Changed files:
    ppl.spec -> 1.2

11 years ago- new, initially based on fedora package auto/th/ppl-0_11_2-0_1
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.