[Pkg-ocaml-maint-commits] r3618 - in
/trunk/packages/coq/branches/8.1/debian: changelog control
coq.postinst rules
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Sun Mar 18 13:23:50 CET 2007
Author: smimram
Date: Sun Mar 18 12:23:49 2007
New Revision: 3618
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3618
Log:
Use dh_installtex instead of hand-crafted postinst.
Removed:
trunk/packages/coq/branches/8.1/debian/coq.postinst
Modified:
trunk/packages/coq/branches/8.1/debian/changelog
trunk/packages/coq/branches/8.1/debian/control
trunk/packages/coq/branches/8.1/debian/rules
Modified: trunk/packages/coq/branches/8.1/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/changelog?rev=3618&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/changelog (original)
+++ trunk/packages/coq/branches/8.1/debian/changelog Sun Mar 18 12:23:49 2007
@@ -3,8 +3,9 @@
* Added cmxa-install.dpatch to install cmxa only on native archs.
* Added configure.dpatch for the configure to correctly detect whether
ocamlopt is present or not.
-
- -- Samuel Mimram <smimram at debian.org> Sun, 18 Feb 2007 13:28:11 +0100
+ * Use dh_installtex instead of hand-crafted postinst.
+
+ -- Samuel Mimram <smimram at debian.org> Sun, 18 Mar 2007 13:21:56 +0100
coq (8.1+dfsg-1) experimental; urgency=low
Modified: trunk/packages/coq/branches/8.1/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/control?rev=3618&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/control (original)
+++ trunk/packages/coq/branches/8.1/debian/control Sun Mar 18 12:23:49 2007
@@ -5,10 +5,12 @@
Uploaders: Ralf Treinen <treinen at debian.org>, Sven Luther <luther at debian.org>, Remi Vanicat <vanicat at debian.org>, Stefano Zacchiroli <zack at debian.org>, Samuel Mimram <smimram at debian.org>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), tetex-extra | texlive-latex-extra, hevea
+XS-Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq
+XS-Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/
Package: coq
Architecture: any
-Depends: ${shlibs:Depends}, coq-libs (= ${source:Version})
+Depends: ${shlibs:Depends}, ${misc:Depends}, coq-libs (= ${source:Version})
Recommends: coqide | proofgeneral-coq
Suggests: ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle, coq-doc
Description: proof assistant for higher-order logic (toplevel and compiler)
Modified: trunk/packages/coq/branches/8.1/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/rules?rev=3618&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/rules (original)
+++ trunk/packages/coq/branches/8.1/debian/rules Sun Mar 18 12:23:49 2007
@@ -119,6 +119,7 @@
dh_installemacsen
dh_installman
dh_installchangelogs CHANGES
+ dh_installtex
dh_desktop
dh_link
dh_compress
More information about the Pkg-ocaml-maint-commits
mailing list