February 2009 - PPL-devel - BUGSENG Mailman

ppl/interfaces OCaml/.cvsignore Prolog/.cvsignore
by Abramo Bagnara 21 Feb '09

21 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2009-02-21 14:50:36 Modified files: interfaces/OCaml: .cvsignore interfaces/Prolog: .cvsignore Log message: Added other patterns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/.cvsignore.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/.cvsignore.…

1 0

ppl ./.cvsignore doc/.cvsignore interfaces/Jav ...
by Abramo Bagnara 21 Feb '09

21 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2009-02-21 14:45:45 Modified files: . : .cvsignore doc : .cvsignore interfaces/Java/parma_polyhedra_library: .cvsignore Log message: Added other patterns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/.cvsignore.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/.cvsignore.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed…

1 0

w3ppl/htdocs/Download Git.raw
by Roberto Bagnara 21 Feb '09

21 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-02-21 12:36:10 Modified files: htdocs/Download: Git.raw Log message: Added more to the section on "Read-Write Git Access". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Git.raw.dif…

1 0

[Fwd: Bug#516419: ppl_0.10-3(mips/unstable):]
by Roberto Bagnara 21 Feb '09

21 Feb '09

-------- Original Message -------- Subject: Bug#516419: ppl_0.10-3(mips/unstable): Resent-Date: Sat, 21 Feb 2009 11:03:02 +0000, Sat, 21 Feb 2009 11:03:04 +0000 Resent-From: Peter De Schrijver <p2(a)debian.org> Resent-To: debian-bugs-dist(a)lists.debian.org Resent-CC: Debian GCC Maintainers <debian-gcc(a)lists.debian.org> Date: Sat, 21 Feb 2009 13:00:46 +0200 From: Peter De Schrijver <p2(a)debian.org> Reply-To: Peter De Schrijver <p2(a)debian.org>, 516419(a)bugs.debian.org To: submit(a)bugs.debian.org Package: ppl Version: 0.10-3 Severity: serious There was an error while trying to autobuild your package: > Automatic build of ppl_0.10-3 on mayr by sbuild/mips 99.999 > Build started at 20090219-0952 [...] > ** Using build dependencies supplied by package: > Build-Depends: debhelper (>= 6.0.7~), quilt, libgmp3-dev (>= 4.1.3), autoconf, automake, libtool, autotools-dev [...] > make[3]: Entering directory `/build/buildd/ppl-0.10' > make[3]: Nothing to be done for `all-am'. > make[3]: Leaving directory `/build/buildd/ppl-0.10' > make[2]: Leaving directory `/build/buildd/ppl-0.10' > make[1]: Leaving directory `/build/buildd/ppl-0.10' > touch build-arch-stamp > export save_size=10000 ; /usr/bin/make -C doc user-configured > make[1]: Entering directory `/build/buildd/ppl-0.10/doc' > rm -rf ppl-user-0.10-html > TEXINPUTS=/build/buildd/ppl-0.10/doc: doxygen user.doxyconf-html > /bin/sh: doxygen: command not found > make[1]: *** [ppl-user-0.10-html] Error 127 > make[1]: Leaving directory `/build/buildd/ppl-0.10/doc' > make: *** [build-indep-stamp] Error 2 > dpkg-buildpackage: failure: debian/rules build gave error exit status 2 A full build log can be found at: http://buildd.debian.org/build.php?arch=mips&pkg=ppl&ver=0.10-3 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[Fwd: Accepted ppl 0.10-4 (source all amd64)]
by Roberto Bagnara 21 Feb '09

21 Feb '09

-------- Original Message -------- Subject: Accepted ppl 0.10-4 (source all amd64) Date: Sat, 21 Feb 2009 10:47:38 +0000 From: Michael Tautschnig <mt(a)debian.org> To: debian-devel-changes(a)lists.debian.org -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 20 Feb 2009 10:11:26 +0100 Source: ppl Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc Architecture: source amd64 all Version: 0.10-4 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc(a)lists.debian.org> Changed-By: Michael Tautschnig <mt(a)debian.org> Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl0.10-dev - Parma Polyhedra Library (development) libppl7 - Parma Polyhedra Library (runtime library) libpwl-dev - Parma Watchdog Library (Watchdog timers - development) libpwl4 - Parma Watchdog Library (Watchdog timers - runtime library) Changes: ppl (0.10-4) unstable; urgency=medium . * urgency=medium because of FTBFS workaround. * With #229357 still being open, we can't use Build-Depends-Indep the way policy suggests. It would have been too beautiful anyway. Checksums-Sha1: b7ecfc7c0170a1d8d5a83b790e301a1f91a99632 1354 ppl_0.10-4.dsc 23eec0b3799da2c09a615d28b5965909b6502bab 7312 ppl_0.10-4.diff.gz c29fff3372878ee79b8ecea55fe9d48714e49e53 355360 libppl7_0.10-4_amd64.deb 48b6454aea9a11051d80d5e4a6453080cc60b287 2774788 libppl0.10-dev_0.10-4_amd64.deb 626f91c228ff48468646ce88660c1267e3709874 1217986 libppl-c2_0.10-4_amd64.deb fe6929e43945ce4cdb10ef2ae31b63b5fb9e1fb8 43464 libpwl4_0.10-4_amd64.deb 61aea09fc8e6b1730671215d4d52fc751c08dc28 757516 libpwl-dev_0.10-4_amd64.deb 446ed850937dc8e5e59f7b3fc673b1058dc763af 4338824 libppl-doc_0.10-4_all.deb Checksums-Sha256: f4ed109881d81e3fd3f7844437ea9cb0e8229c0f556a46351a109dfae1d8da97 1354 ppl_0.10-4.dsc d4daaf0051a688b2eb773cd4bdbdd405b09cc4b3aa29c724ba8798a80e2c7795 7312 ppl_0.10-4.diff.gz 341a24d8fb98cf4dd1ba1f5fc2611866af24fe32aa2731ff7fa72a911cdf921f 355360 libppl7_0.10-4_amd64.deb ae208ab92df25a365d2fcd2be8e54aaa829b37faa523ffad0481d7090cd7bc74 2774788 libppl0.10-dev_0.10-4_amd64.deb e5b8f99400736198f535f8f628e8a8687d538ce5e46380330ec38e7b9e4e8b9c 1217986 libppl-c2_0.10-4_amd64.deb 7ad187f7332ef9e8a98aa168d69b5f80897d381a56837a6b1da79bca54b075c6 43464 libpwl4_0.10-4_amd64.deb 7cea69217aff692348442deded7609a4bcc454890b172a3d25859296920ab2e9 757516 libpwl-dev_0.10-4_amd64.deb 2f7ce6109173d703db9cadd2db7424ab9e3d03b6485f05c85a4768e18a9e698d 4338824 libppl-doc_0.10-4_all.deb Files: fc12e198962f6f86ac243dbcf6d2e116 1354 libs optional ppl_0.10-4.dsc 69bb791f413e17f2753bfa2049149d65 7312 libs optional ppl_0.10-4.diff.gz 06c048af17e58a67376c96c592cf135b 355360 libs optional libppl7_0.10-4_amd64.deb 3cf78e130d422d47b0c1db2bf93ee783 2774788 libdevel optional libppl0.10-dev_0.10-4_amd64.deb 158f3cb90c5742dfb738454dbff605b7 1217986 libs optional libppl-c2_0.10-4_amd64.deb c1cdfcca87f2f7ddb0e036b92679004e 43464 libs optional libpwl4_0.10-4_amd64.deb 7b30d70a6ad7ffee9665db8ac629bf1a 757516 libdevel optional libpwl-dev_0.10-4_amd64.deb ccf87c5dbebd8ba00d0d22cc537f0446 4338824 doc optional libppl-doc_0.10-4_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkmf160ACgkQvx6dH3bVKsTNwACgxHxajht0ZXIHer7ubryM+pm6 itcAn1PTg8X+2nb2GHaRp4EhETiY1s8A =x8Lh -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10-4_amd64.deb to pool/main/p/ppl/libppl-c2_0.10-4_amd64.deb libppl-doc_0.10-4_all.deb to pool/main/p/ppl/libppl-doc_0.10-4_all.deb libppl0.10-dev_0.10-4_amd64.deb to pool/main/p/ppl/libppl0.10-dev_0.10-4_amd64.deb libppl7_0.10-4_amd64.deb to pool/main/p/ppl/libppl7_0.10-4_amd64.deb libpwl-dev_0.10-4_amd64.deb to pool/main/p/ppl/libpwl-dev_0.10-4_amd64.deb libpwl4_0.10-4_amd64.deb to pool/main/p/ppl/libpwl4_0.10-4_amd64.deb ppl_0.10-4.diff.gz to pool/main/p/ppl/ppl_0.10-4.diff.gz ppl_0.10-4.dsc to pool/main/p/ppl/ppl_0.10-4.dsc -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

w3ppl/htdocs/Download Git.raw
by Roberto Bagnara 21 Feb '09

21 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-02-21 11:59:31 Modified files: htdocs/Download: Git.raw Log message: Drafted the section on "Read-Write Git Access". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Git.raw.dif…

1 0

ppl .cvsignore
by Abramo Bagnara 21 Feb '09

21 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2009-02-21 11:47:16 Modified files: . : .cvsignore Log message: Added common ignored patterns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/.cvsignore.diff?cvsroot=ppl&r…

1 0

ppl ./.cvsignore interfaces/Prolog/.cvsignore
by Abramo Bagnara 21 Feb '09

21 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2009-02-21 11:30:17 Modified files: . : .cvsignore interfaces/Prolog: .cvsignore Log message: Commented out dangerous entries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/.cvsignore.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/.cvsignore.…

1 0

w3ppl/htdocs/Download Git.raw
by Roberto Bagnara 21 Feb '09

21 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-02-21 10:33:46 Modified files: htdocs/Download: Git.raw Log message: Unwanted text removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Git.raw.dif…

1 0

w3ppl/htdocs/Download Git.raw
by Roberto Bagnara 21 Feb '09

21 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-02-21 10:20:40 Modified files: htdocs/Download: Git.raw Log message: Machine name fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Git.raw.dif…

1 0