Accepted: coq 8.1.pl3+dfsg-1build1 (source)

Cesare Tirabassi norsetto at ubuntu.com
Tue May 27 14:25:14 BST 2008


Accepted:
 OK: coq_8.1.pl3+dfsg.orig.tar.gz
 OK: coq_8.1.pl3+dfsg-1build1.diff.gz
 OK: coq_8.1.pl3+dfsg-1build1.dsc
     -> Component: universe Section: devel

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Tue, 27 May 2008 13:04:23 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source
Version: 8.1.pl3+dfsg-1build1
Distribution: intrepid
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Cesare Tirabassi <norsetto at ubuntu.com>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-libs   - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
Changes: 
 coq (8.1.pl3+dfsg-1build1) intrepid; urgency=low
 .
   * No change rebuild against Ocaml 3.10.2
Files: 
 e5d76e6469738a113f1cc8bccc334cac 925 math optional coq_8.1.pl3+dfsg-1build1.dsc
 0494d4cbf5cee3520e99e60ad2c173eb 15617 math optional coq_8.1.pl3+dfsg-1build1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFIPAOnysMrFvyAPHwRAi8uAJ44xZGFcvExTmDfUjWWOZDOXSKEqQCaArvX
j/ieDzjugXtiB6TKxw6I0R4=
=A+O3
-----END PGP SIGNATURE-----





More information about the Intrepid-changes mailing list