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

From: Cesare Tirabassi <[email-masked]>
Date: Tue, 27 May 2008 13:25:14 -0000

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

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 <[email-masked]>
Changed-By: Cesare Tirabassi <[email-masked]>
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