[Pkg-ocaml-maint-commits] r3640 - in /trunk/packages/coq: branches/
trunk/debian/ trunk/debian/patches/ trunk/debian/utils/ upstream/
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Sat Mar 24 13:01:30 CET 2007
Author: smimram
Date: Sat Mar 24 12:01:30 2007
New Revision: 3640
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3640
Log:
Coq 8.1 becomes trunk.
Added:
trunk/packages/coq/trunk/debian/patches/cmxa-install.dpatch
- copied unchanged from r3638, trunk/packages/coq/branches/8.1/debian/patches/cmxa-install.dpatch
trunk/packages/coq/trunk/debian/patches/configure.dpatch
- copied unchanged from r3638, trunk/packages/coq/branches/8.1/debian/patches/configure.dpatch
trunk/packages/coq/trunk/debian/patches/no-complexity-test.dpatch
- copied unchanged from r3638, trunk/packages/coq/branches/8.1/debian/patches/no-complexity-test.dpatch
trunk/packages/coq/trunk/debian/utils/
- copied from r3638, trunk/packages/coq/branches/8.1/debian/utils/
trunk/packages/coq/upstream/coq_8.1+dfsg.orig.tar.gz
- copied unchanged from r3637, trunk/packages/coq/branches/upstream/coq_8.1+dfsg.orig.tar.gz
Removed:
trunk/packages/coq/branches/
trunk/packages/coq/trunk/debian/coq7-libs.install
trunk/packages/coq/trunk/debian/patches/coq-8.0pl3-ocaml-3.09.dpatch
trunk/packages/coq/upstream/coq_8.0pl3.orig.tar.gz
Modified:
trunk/packages/coq/trunk/debian/changelog
trunk/packages/coq/trunk/debian/control
trunk/packages/coq/trunk/debian/copyright
trunk/packages/coq/trunk/debian/coq-libs.install
trunk/packages/coq/trunk/debian/coq.install
trunk/packages/coq/trunk/debian/coq.xpm
trunk/packages/coq/trunk/debian/coqide.desktop
trunk/packages/coq/trunk/debian/coqide.install
trunk/packages/coq/trunk/debian/coqide.menu
trunk/packages/coq/trunk/debian/patches/00list
trunk/packages/coq/trunk/debian/rules
trunk/packages/coq/trunk/debian/watch
Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Sat Mar 24 12:01:30 2007
@@ -1,3 +1,96 @@
+coq (8.1+dfsg-2) experimental; urgency=low
+
+ * Added cmxa-install.dpatch to install cmxa only on native archs,
+ closes: #415867.
+ * Added configure.dpatch for the configure to correctly detect whether
+ ocamlopt is present or not.
+ * 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
+
+ * New upstream release.
+ * Removed system.dpatch and next-ia64.dpatch, integrated upstream.
+ * Removed the subdirectories common, faq, RecTutorial, refman, rt, tools,
+ tutorial of the directory doc since they contain documentation under the
+ Open Publication License which is not DFSG-free (thus the +dfsg in the
+ version number). The script debian/utils/purify_tarball automates this
+ process. This documentation in packaged separately in non-free, in
+ the coq-doc package.
+
+ -- Samuel Mimram <smimram at debian.org> Tue, 13 Feb 2007 11:38:43 +0000
+
+coq (8.1~gamma-4) experimental; urgency=low
+
+ * Correctly build glob.dump on non-native archs, closes: #400535.
+
+ -- Samuel Mimram <smimram at debian.org> Sun, 11 Feb 2007 18:02:49 +0100
+
+coq (8.1~gamma-3) experimental; urgency=low
+
+ * Added next-ia64.dpatch to fix the FTBFS on ia64.
+ * Correctly install coqdoc.sty, closes: #409027.
+ * Build-depend on tetex-extra | texlive-latex-extra in order to allow
+ building with texlive.
+
+ -- Samuel Mimram <smimram at debian.org> Sun, 4 Feb 2007 20:38:43 +0100
+
+coq (8.1~gamma-2) experimental; urgency=low
+
+ * Added no-complexity-test.dpatch to skip complexity checks (thanks Julien
+ Cristau), closes: #399919.
+
+ -- Samuel Mimram <smimram at debian.org> Thu, 23 Nov 2006 14:27:15 +0000
+
+coq (8.1~gamma-1) experimental; urgency=low
+
+ * New upstream release.
+ * Made the package binNMU-safe.
+ * Minor improvements of the coqide.desktop file, closes: #383310.
+ * Added system.dpatch to avoid erroneous interpretation of ~.
+ * Removed assert.dpatch, integrated upstream.
+
+ -- Samuel Mimram <smimram at debian.org> Tue, 21 Nov 2006 13:33:55 +0000
+
+coq (8.0pl3+8.1beta.2-1) experimental; urgency=low
+
+ * New upstream beta release.
+ * Added assert.dpatch to check assertions in native mode.
+
+ -- Samuel Mimram <smimram at debian.org> Thu, 13 Jul 2006 16:28:24 +0000
+
+coq (8.0pl3+8.1beta-1) experimental; urgency=low
+
+ * New upstream release.
+ * Added --fsets all option to configure to build the theory of finite sets.
+ * Updated coqdoc_stdlib.dpatch, partly integrated upstream.
+ * Removed failing_tests.dpath, all the tests should succeed now.
+ * We don't need to remove rpaths anymore.
+ * Updated standards version to 3.7.2, no changes needed.
+
+ -- Samuel Mimram <smimram at debian.org> Fri, 16 Jun 2006 12:59:07 +0000
+
+coq (8.0pl3+8.1alpha-2) experimental; urgency=low
+
+ * Added makefile.dpatch in order for ocamlopt not to be called when
+ compiling on non-native archs.
+ * Do not build the pdf documentation for the library since we don't ship it.
+ This will avoid the FTBFS because of missing LaTeX fonts.
+
+ -- Samuel Mimram <smimram at debian.org> Sun, 30 Apr 2006 11:51:57 +0000
+
+coq (8.0pl3+8.1alpha-1) experimental; urgency=low
+
+ * New upstream release.
+ * No longer providing the compatibility coq7-libs package.
+ * coq-libs is now providing its documentation in html format.
+ * Added browser.dpatch to use the default Debian browser for help.
+ * Disabling checks which don't succeed for now: failing_tests.dpatch.
+ * Removed coq-8.0pl3-ocaml-3.09.dpatch.
+
+ -- Samuel Mimram <smimram at debian.org> Thu, 27 Apr 2006 13:43:16 +0000
+
coq (8.0pl3-2) unstable; urgency=low
* Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intuition from
Modified: trunk/packages/coq/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/control?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/control (original)
+++ trunk/packages/coq/trunk/debian/control Sat Mar 24 12:01:30 2007
@@ -3,16 +3,16 @@
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
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.6.2
-Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), chrpath
+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
+Suggests: ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle, coq-doc
Description: proof assistant for higher-order logic (toplevel and compiler)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
@@ -41,7 +41,7 @@
Package: coq-libs
Architecture: all
Recommends: coq (>= 8.0)
-Conflicts: coq (<< 8.0)
+Conflicts: coq (<< 8.0), coq-doc (<= 8.0pl1.0-2)
Description: proof assistant for higher-order logic (theories)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
@@ -50,18 +50,3 @@
.
This package provides existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values.
-
-Package: coq7-libs
-Architecture: all
-Recommends: coq (>= 8.0)
-Description: proof assistant for higher-order logic (Coq 7 theories)
- Coq is a proof assistant for higher-order logic, which allows the
- development of computer programs consistent with their formal
- specification. It is developed using Objective Caml and Camlp4.
- For more information, see <http://coq.inria.fr/>.
- .
- This package provides existing theories from Coq 7 in Coq 8, and
- allows proofs that were developed in Coq 7 to be used in Coq 8.
- It is also required to translate theories in Coq 7 syntax into
- the new syntax introduced in Coq 8. However, this package does
- not need to be installed to use Coq 7.
Modified: trunk/packages/coq/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/copyright?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/copyright (original)
+++ trunk/packages/coq/trunk/debian/copyright Sat Mar 24 12:01:30 2007
@@ -14,9 +14,9 @@
This product includes also software developed by
Yves Bertot, Lemme, INRIA Sophia-Antipolis (contrib/interface,
parsing/search.ml)
- Pierre Crégut, France Telecom R & D (contrib/omega and contrib/romega)
+ Pierre Crégut, France Telecom R & D (contrib/omega and contrib/romega)
Pierre Courtieu, Lemme (contrib/funind)
- Loïc Pottier, Lemme, INRIA Sophia-Antipolis (contrib/fourier)
+ Loïc Pottier, Lemme, INRIA Sophia-Antipolis (contrib/fourier)
Claudio Sacerdoti Coen, HELM, University of Bologna (contrib/xml)
Coq includes a tactic Jp based on JProver, a theorem prover for
@@ -27,13 +27,13 @@
The Coq development Team (march 2004)
Bruno Barras (INRIA)
- Pierre Corbineau (Université Paris Sud)
- Jean-Christophe Filliâtre (CNRS)
+ Pierre Corbineau (Université Paris Sud)
+ Jean-Christophe Filliâtre (CNRS)
Hugo Herbelin (INRIA)
- Pierre Letouzey (Université Paris Sud)
- Claude Marché (Université Paris Sud-INRIA)
- Christine Paulin (Université Paris Sud)
- Clément Renard (INRIA)
+ Pierre Letouzey (Université Paris Sud)
+ Claude Marché (Université Paris Sud-INRIA)
+ Christine Paulin (Université Paris Sud)
+ Clément Renard (INRIA)
The complete list of developpers and contributors can be found in
/usr/share/doc/doc/CREDITS.gz
Modified: trunk/packages/coq/trunk/debian/coq-libs.install
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coq-libs.install?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/coq-libs.install (original)
+++ trunk/packages/coq/trunk/debian/coq-libs.install Sat Mar 24 12:01:30 2007
@@ -1,4 +1,4 @@
usr/lib/coq/contrib
usr/lib/coq/states
usr/lib/coq/theories
-usr/lib/coq/ide/utf8.vo usr/lib/coq
+usr/lib/coq/ide/utf8.vo usr/lib/coq
Modified: trunk/packages/coq/trunk/debian/coq.install
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coq.install?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/coq.install (original)
+++ trunk/packages/coq/trunk/debian/coq.install Sat Mar 24 12:01:30 2007
@@ -8,8 +8,11 @@
usr/bin/coqtop*
usr/bin/coqwc
usr/bin/gallina
-usr/share/emacs/site-lisp/coq
-usr/share/emacs/site-lisp/coqdoc.sty
+usr/lib/coq/*.cma
+usr/lib/coq/*.cmxa
+usr/lib/coq/tools/coqdoc/
+usr/share/emacs/site-lisp/coq/*
usr/share/man/man1/c*
usr/share/man/man1/gallina.1
usr/share/texmf/tex/latex/misc/*
+usr/share/emacs/site-lisp/coqdoc.sty usr/share/texmf/tex/latex/misc/
Modified: trunk/packages/coq/trunk/debian/coq.xpm
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coq.xpm?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/coq.xpm (original)
+++ trunk/packages/coq/trunk/debian/coq.xpm Sat Mar 24 12:01:30 2007
@@ -1,54 +1,52 @@
/* XPM */
-static char *coq[] = {
-/* columns rows colors chars-per-pixel */
-"32 32 16 1",
-" c #220C08",
-". c #342A2C",
-"X c #5A261F",
-"o c #6A4D4B",
-"O c #923827",
-"+ c #BF381C",
-"@ c #996252",
-"# c #837671",
-"$ c #D35E3A",
-"% c #CA7852",
-"& c #E19667",
-"* c #A59082",
-"= c #B9ADA8",
-"- c #EAB48F",
-"; c #F2D3B6",
-": c #FCFDF9",
-/* pixels */
-"::::::::::::::::::::::::::::::::",
-"::::::::::::::::::::::::::::::::",
-":::::X.:::::::::::::::::::::::::",
-"::::++-==:::::::::::::::::::::::",
-":::+;;+$:*::::::::::::::::::::::",
-":::;-++%:: :::::::::::::::::::::",
-":::*+++#:::;::::::::::::::::::::",
-"::::= +O::::::::::::::::::::::::",
-":::::: :::::o:::::::::::::::::::",
-"::::::=;:::::=::::::::::::::*:::",
-"::::::;::::::::: :::::::::::=:::",
-":::::=:::::::::::::::::: :::.:::",
-":::::*:::::::::::::.::.::::;X:::",
-":::::;::::::::::::::o:::;:-*.:::",
-"::::*;;;::::::;;:;-::--:;&&&X:::",
-"::::#;;;;-;;::;;;;;-;;--%%-%::::",
-":::::--;;@;;;;;-;-;--%oO%&% ::::",
-":::::.--;-@%&--&&%$$OOXO%%@:::::",
-"::::::o&--& O+XO&& XXX Oo ::::::",
-"::::::;@%%&%$ XX$X X Oo@ ::::::",
-"::::::::=O$OO+XX O X OO@ :::::::",
-"::::::::::;+X O%OOOOOOOo::::::::",
-"::::::::::::oOOXXX X ::::::::::",
-":::::::::::::XX X X::::::::::::",
-":::::::::::::: .:::::::::::::",
-":::::::::::::: o:.::::::::::::::",
-":::::::::::::: #:.::::::::::::::",
-":::::::::::-oX%oo&*:::::::::::::",
-"::::::::::::o.#:::=@::::::::::::",
-"::::::::::::::::::::::::::::::::",
-"::::::::::::::::::::::::::::::::",
-"::::::::::::::::::::::::::::::::"
-};
+static char * coq_xpm[] = {
+"32 32 17 1",
+" c None",
+". c #5A261F",
+"+ c #342A2C",
+"@ c #BF381C",
+"# c #EAB48F",
+"$ c #B9ADA8",
+"% c #F2D3B6",
+"& c #D35E3A",
+"* c #FCFDF9",
+"= c #A59082",
+"- c #CA7852",
+"; c #220C08",
+"> c #837671",
+", c #923827",
+"' c #6A4D4B",
+") c #E19667",
+"! c #996252",
+" ",
+" ",
+" .+ ",
+" @@#$$ ",
+" @%%@&*= ",
+" %#@@-**; ",
+" =@@@>*** ",
+" $;@,**** ",
+" ;*****' ",
+" $%*****$ = ",
+" %*********; **$ ",
+" $************ ;***+ ",
+" =*************+**+****%. ",
+" %**************'***%*#=+ ",
+" =%%%******%%*%#**##*%))). ",
+" >%%%%#%%**%%%%%#%%##--#- ",
+" ##%%!%%%%%#%#%##-',-)-; ",
+" +##%#!-)##))-&&,,.,--! ",
+" ')##);, at .,));...;,'; ",
+" !--)-&;;..&.;.;,'!; ",
+" $,&,, at ..;,;.;,,!; ",
+" @.;,-,,,,,,,' ",
+" ',,...;.;; ",
+" ..;;.;. ",
+" ;;;;+ ",
+" ;' + ",
+" ;> + ",
+" #'.-'')= ",
+" '+> $! ",
+" ",
+" ",
+" "};
Modified: trunk/packages/coq/trunk/debian/coqide.desktop
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coqide.desktop?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/coqide.desktop (original)
+++ trunk/packages/coq/trunk/debian/coqide.desktop Sat Mar 24 12:01:30 2007
@@ -1,9 +1,9 @@
[Desktop Entry]
Encoding=UTF-8
-Name=CoqIde
+Name=CoqIDE Proof Assistant
Comment=Graphical interface for the Coq proof assistant
-Exec=/usr/bin/coqide
+Exec=coqide
Type=Application
-Categories=GTK;Science;Math;
+Categories=Application;Development;Science;Math;IDE;GTK;
Terminal=false
-Icon=/usr/share/pixmaps/coq.xpm
+Icon=coq
Modified: trunk/packages/coq/trunk/debian/coqide.install
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coqide.install?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/coqide.install (original)
+++ trunk/packages/coq/trunk/debian/coqide.install Sat Mar 24 12:01:30 2007
@@ -1,5 +1,4 @@
usr/bin/coqide*
-usr/lib/coq/ide/coq.ico
-usr/lib/coq/ide/coq2.ico
+usr/lib/coq/ide/coq.png
usr/lib/coq/ide/utf8.vo
usr/lib/coq/ide/.coqide-gtk2rc
Modified: trunk/packages/coq/trunk/debian/coqide.menu
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coqide.menu?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/coqide.menu (original)
+++ trunk/packages/coq/trunk/debian/coqide.menu Sat Mar 24 12:01:30 2007
@@ -1,4 +1,4 @@
?package(coqide):command="/usr/bin/coqide" \
icon="/usr/share/pixmaps/coqide.xpm" \
needs="X11" \
- section="Apps/Math" title="CoqIde"
+ section="Apps/Math" title="CoqIDE"
Modified: trunk/packages/coq/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/patches/00list?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/patches/00list (original)
+++ trunk/packages/coq/trunk/debian/patches/00list Sat Mar 24 12:01:30 2007
@@ -1,1 +1,6 @@
-coq-8.0pl3-ocaml-3.09
+coqdoc_stdlib
+browser
+makefile
+no-complexity-test
+configure
+cmxa-install
Modified: trunk/packages/coq/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/rules?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/rules (original)
+++ trunk/packages/coq/trunk/debian/rules Sat Mar 24 12:01:30 2007
@@ -10,11 +10,10 @@
# We want to use dpatch
include /usr/share/dpatch/dpatch.make
-COQPREF=$(CURDIR)/debian/tmp
-ADDPREF=COQINSTALLPREFIX=$(COQPREF)
+COQPREF := $(CURDIR)/debian/tmp
+ADDPREF := COQINSTALLPREFIX=$(COQPREF)
-CONFIGUREOPTS=--prefix /usr --mandir /usr/share/man \
- --emacslib /usr/share/emacs/site-lisp/coq --reals all
+CONFIGUREOPTS := --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all
configure: configure-stamp
configure-stamp:
@@ -43,6 +42,13 @@
else \
$(MAKE) BEST=byte HASCOQIDE=byte check; \
fi
+ if [ -e opt-stamp ]; then \
+ $(MAKE) BEST=opt glob.dump; \
+ else \
+ $(MAKE) BEST=byte HASCOQIDE=byte glob.dump; \
+ fi
+ cp tools/coqdoc/coqdoc.sty doc/stdlib/
+ $(MAKE) -C doc stdlib/html/index.html
touch build-stamp
clean: unpatch
@@ -52,9 +58,11 @@
-$(MAKE) clean
-$(MAKE) archclean
- rm -f bin/parser.opt
+ rm -f bin/*
rm -f tools/coqdoc/*.cm[oi]
rm -f config/coq_config.ml config/Makefile test-suite/check.log
+ rm -f dev/ocamldebug-v7
+ rm -f ide/undo.mli glob.dump
dh_clean
@@ -74,11 +82,10 @@
echo "Stripping: $$i"; \
strip -R .note -R .comment $$i; \
done
- -for i in $(COQPREF)/usr/bin/coqide.*; do \
- echo "Rpath for `chrpath $$i`"; \
- echo "Removing rpath: $$i"; \
- chrpath -d $$i; \
- done
+ if [ -e opt-stamp ]; then \
+ strip -R .note -R .comment $ $(COQPREF)/usr/bin/coqc; \
+ strip -R .note -R .comment $(COQPREF)/usr/bin/coqmktop; \
+ fi
cp debian/coq.xpm debian/coq/usr/share/pixmaps/coq.xpm
cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm
cp debian/coqide.desktop debian/coqide/usr/share/applications
@@ -96,7 +103,8 @@
cp debian/coqmktop.1 debian/coq/usr/share/man/man1/coqmktop.1
cp debian/coqtop.1 debian/coq/usr/share/man/man1/coqtop.1
- chmod -x debian/tmp/usr/lib/coq/ide/coq2.ico
+ cp -r doc/stdlib/html debian/coq-libs/usr/share/doc/coq-libs/
+ cd debian/coq-libs/usr/share/doc/coq; ln -s ../coq-libs/html stdlib
# These are installed as docs
rm -f $(COQPREF)/usr/lib/coq/ide/utf8.v $(COQPREF)/usr/lib/coq/ide/FAQ
@@ -111,6 +119,7 @@
dh_installemacsen
dh_installman
dh_installchangelogs CHANGES
+ dh_installtex
dh_desktop
dh_link
dh_compress
Modified: trunk/packages/coq/trunk/debian/watch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/watch?rev=3640&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/watch (original)
+++ trunk/packages/coq/trunk/debian/watch Sat Mar 24 12:01:30 2007
@@ -1,2 +1,2 @@
-version=2
+version=3
ftp://ftp.inria.fr/INRIA/coq/current/coq-([0-9a-z\.]*)\.tar\.gz debian uupdate
More information about the Pkg-ocaml-maint-commits
mailing list