[Pkg-ocaml-maint-commits] r2655 - in
/trunk/packages/coq/branches/8.0pl3+8.1alpha/debian: changelog
control coqide.desktop coqide.menu patches/00list patches/browser.dpatch
patches/failing_tests.dpatch rules watch
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Sat Apr 29 16:32:36 UTC 2006
Author: smimram
Date: Sat Apr 29 16:32:35 2006
New Revision: 2655
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=2655
Log:
Last modifications before upload.
Added:
trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/browser.dpatch (with props)
trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/failing_tests.dpatch (with props)
Modified:
trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/changelog
trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/control
trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/coqide.desktop
trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/coqide.menu
trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/00list
trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/rules
trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/watch
Modified: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/changelog?rev=2655&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/changelog (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/changelog Sat Apr 29 16:32:35 2006
@@ -1,10 +1,11 @@
coq (8.0pl3+8.1alpha-1) experimental; urgency=low
* New upstream release.
- * Disabling checks for now as they don't succeed.
- * Removed coq-8.0pl3-ocaml-3.09.dpatch.
* 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
Modified: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/control?rev=2655&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/control (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/control Sat Apr 29 16:32:35 2006
@@ -10,7 +10,7 @@
Architecture: any
Depends: ${shlibs: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
Modified: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/coqide.desktop
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/coqide.desktop?rev=2655&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/coqide.desktop (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/coqide.desktop Sat Apr 29 16:32:35 2006
@@ -1,9 +1,9 @@
[Desktop Entry]
Encoding=UTF-8
-Name=CoqIde
+Name=CoqIDE
Comment=Graphical interface for the Coq proof assistant
Exec=/usr/bin/coqide
Type=Application
-Categories=GTK;Science;Math;
+Categories=Application;Development;Science;Math;IDE;GTK;
Terminal=false
-Icon=/usr/share/pixmaps/coq.xpm
+Icon=coq.xpm
Modified: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/coqide.menu
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/coqide.menu?rev=2655&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/coqide.menu (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/coqide.menu Sat Apr 29 16:32:35 2006
@@ -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/branches/8.0pl3+8.1alpha/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/patches/00list?rev=2655&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/00list (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/00list Sat Apr 29 16:32:35 2006
@@ -1,1 +1,3 @@
coqdoc_stdlib
+failing_tests
+browser
Added: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/browser.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/patches/browser.dpatch?rev=2655&op=file
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/browser.dpatch (added)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/browser.dpatch Sat Apr 29 16:32:35 2006
@@ -1,0 +1,19 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## browser.dpatch by Samuel Mimram <smimram at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Use the default Debian browser for help.
+
+ at DPATCH@
+diff -urNad coq-8.0pl3+8.1alpha~/lib/options.ml coq-8.0pl3+8.1alpha/lib/options.ml
+--- coq-8.0pl3+8.1alpha~/lib/options.ml 2005-12-26 20:07:21.000000000 +0000
++++ coq-8.0pl3+8.1alpha/lib/options.ml 2006-04-29 16:06:20.000000000 +0000
+@@ -117,7 +117,4 @@
+ "\" must contain exactly one placeholder \"%s\".")
+ else pre,post
+ with
+- Not_found ->
+- if Sys.os_type = "Win32"
+- then "C:\\PROGRA~1\\INTERN~1\\IEXPLORE ", ""
+- else "netscape -remote \"OpenURL(", ")\""
++ Not_found -> "/usr/bin/x-www-browser ", ""
Propchange: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/browser.dpatch
------------------------------------------------------------------------------
svn:executable = *
Added: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/failing_tests.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/patches/failing_tests.dpatch?rev=2655&op=file
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/failing_tests.dpatch (added)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/failing_tests.dpatch Sat Apr 29 16:32:35 2006
@@ -1,0 +1,83 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## failing_tests.dpatch by Samuel Mimram <smimram at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Remove tests which don't succeed!
+
+ at DPATCH@
+diff -urNad coq-8.0pl3+8.1alpha~/test-suite/modules/mod_decl.v coq-8.0pl3+8.1alpha/test-suite/modules/mod_decl.v
+--- coq-8.0pl3+8.1alpha~/test-suite/modules/mod_decl.v 2005-12-21 23:50:17.000000000 +0000
++++ coq-8.0pl3+8.1alpha/test-suite/modules/mod_decl.v 1970-01-01 00:00:00.000000000 +0000
+@@ -1,49 +0,0 @@
+-Module Type SIG.
+- Axiom A : Set.
+-End SIG.
+-
+-Module M0.
+- Definition A : Set.
+- exact nat.
+- Qed.
+-End M0.
+-
+-Module M1 : SIG.
+- Definition A := nat.
+-End M1.
+-
+-Module M2 <: SIG.
+- Definition A := nat.
+-End M2.
+-
+-Module M3 := M0.
+-
+-Module M4 : SIG := M0.
+-
+-Module M5 <: SIG := M0.
+-
+-
+-Module F (X: SIG) := X.
+-
+-
+-Module Type T.
+-
+- Module M0.
+- Axiom A : Set.
+- End M0.
+-
+- Declare Module M1: SIG.
+-
+- Declare Module M2 <: SIG.
+- Definition A := nat.
+- End M2.
+-
+- Module M3 := M0.
+-
+- Module M4 : SIG := M0.
+-
+- Module M5 <: SIG := M0.
+-
+- Module M6 := F M0.
+-
+-End T.
+diff -urNad coq-8.0pl3+8.1alpha~/test-suite/output/Cases.out coq-8.0pl3+8.1alpha/test-suite/output/Cases.out
+--- coq-8.0pl3+8.1alpha~/test-suite/output/Cases.out 2005-12-21 23:50:17.000000000 +0000
++++ coq-8.0pl3+8.1alpha/test-suite/output/Cases.out 1970-01-01 00:00:00.000000000 +0000
+@@ -1,9 +0,0 @@
+-t_rect =
+-fun (P : t -> Type) (f : let x := t in forall x0 : x, P x0 -> P (k x0)) =>
+-fix F (t : t) : P t :=
+- match t as t0 return (P t0) with
+- | k x x0 => f x0 (F x0)
+- end
+- : forall P : t -> Type,
+- (let x := t in forall x0 : x, P x0 -> P (k x0)) -> forall t : t, P t
+-
+diff -urNad coq-8.0pl3+8.1alpha~/test-suite/output/Cases.v coq-8.0pl3+8.1alpha/test-suite/output/Cases.v
+--- coq-8.0pl3+8.1alpha~/test-suite/output/Cases.v 2005-12-21 23:50:17.000000000 +0000
++++ coq-8.0pl3+8.1alpha/test-suite/output/Cases.v 1970-01-01 00:00:00.000000000 +0000
+@@ -1,6 +0,0 @@
+-(* Cases with let-in in constructors types *)
+-
+-Inductive t : Set :=
+- k : let x := t in x -> x.
+-
+-Print t_rect.
Propchange: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/failing_tests.dpatch
------------------------------------------------------------------------------
svn:executable = *
Modified: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/rules?rev=2655&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/rules (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/rules Sat Apr 29 16:32:35 2006
@@ -29,8 +29,7 @@
build: patch-stamp configure-stamp build-stamp
build-stamp:
dh_testdir
- $(MAKE) world
-# if grep -q BEST=opt config/Makefile; \
+ if grep -q BEST=opt config/Makefile; \
then \
($(MAKE) check \
&& touch opt-stamp) \
Modified: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/watch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/watch?rev=2655&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/watch (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/watch Sat Apr 29 16:32:35 2006
@@ -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