January 2006 - PPL-devel - BUGSENG Mailman

ppl/debian libppl.dirs
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 16:30:48 Modified files: debian : libppl.dirs Log message: Add usr/share/man/man1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.dirs.diff?cvsro…

1 0

ppl/debian libppl-pwl.install
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 16:30:32 Modified files: debian : libppl-pwl.install Log message: Move pwl.hh to libppl-dev. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-pwl.install.dif…

1 0

ppl/debian libppl-dev.install
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 16:29:27 Modified files: debian : libppl-dev.install Log message: Add the header files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.install.dif…

1 0

ppl/debian control
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 16:28:52 Modified files: debian : control Log message: Add glpk to Build-Depends. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/control.diff?cvsroot=p…

1 0

ppl/debian rules
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 13:29:48 Modified files: debian : rules Log message: Add ppl_lpsol and ppl-config to the programs installed in install-arch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/rules.diff?cvsroot=ppl…

1 0

ppl/debian control
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 13:28:53 Modified files: debian : control Log message: Update to the new GMP package names. Add libgmp3-doc to the libdevel suggested packages. Improve some wording in the libppl-dev description. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/control.diff?cvsroot=p…

1 0

ppl/interfaces/Prolog Prolog_interface.dox Cia ...
by Patricia Hill 12 Jan '06

12 Jan '06

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Roberto Bagnara 11 Jan '06

11 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-11 23:29:56 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Obsolete hack removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 11 Jan '06

11 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-11 23:14:54 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Fixed ppl_Coefficient_min() and ppl_Coefficient_max(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl ppl.spec.in
by Roberto Bagnara 11 Jan '06

11 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-11 22:20:01 Modified files: . : ppl.spec.in Log message: Include ppl-config in %{_bindir} and the man pages in %{_mandir}/man1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0