[Pkg-ocaml-maint-commits] r4213 - in /trunk/packages/coq-float: trunk/debian/changelog trunk/debian/control trunk/debian/copyright trunk/debian/docs trunk/debian/rules trunk/debian/watch upstream/coq-float_2001.orig.tar.gz upstream/coq-float_8.1-1.0.orig.tar.gz
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Thu Aug 30 12:21:02 UTC 2007
Author: smimram
Date: Thu Aug 30 12:21:02 2007
New Revision: 4213
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4213
Log:
New upstream release.
Added:
trunk/packages/coq-float/trunk/debian/watch
trunk/packages/coq-float/upstream/coq-float_8.1-1.0.orig.tar.gz (with props)
Removed:
trunk/packages/coq-float/upstream/coq-float_2001.orig.tar.gz
Modified:
trunk/packages/coq-float/trunk/debian/changelog
trunk/packages/coq-float/trunk/debian/control
trunk/packages/coq-float/trunk/debian/copyright
trunk/packages/coq-float/trunk/debian/docs
trunk/packages/coq-float/trunk/debian/rules
Modified: trunk/packages/coq-float/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/changelog?rev=4213&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/changelog (original)
+++ trunk/packages/coq-float/trunk/debian/changelog Thu Aug 30 12:21:02 2007
@@ -1,3 +1,12 @@
+coq-float (1:8.1-1.0-1) unstable; urgency=low
+
+ * New upstream release.
+ * Updated upstream url and watch.
+ * Made the package arch all since coq libraries should be
+ platform-independant.
+
+ -- Samuel Mimram <smimram at debian.org> Thu, 30 Aug 2007 13:08:49 +0200
+
coq-float (2001-1) unstable; urgency=low
* Initial release, closes: #438613.
Modified: trunk/packages/coq-float/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/control?rev=4213&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/control (original)
+++ trunk/packages/coq-float/trunk/debian/control Thu Aug 30 12:21:02 2007
@@ -6,7 +6,7 @@
Standards-Version: 3.7.2
Package: libfloat-coq
-Architecture: any
+Architecture: all
Depends: ${shlibs:Depends}, coq (>= 8.1)
Description: coq library for floating point numbers
Library for reasoning about floating point numbers in coq.
Modified: trunk/packages/coq-float/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/copyright?rev=4213&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/copyright (original)
+++ trunk/packages/coq-float/trunk/debian/copyright Thu Aug 30 12:21:02 2007
@@ -1,13 +1,14 @@
This package was debianized by Samuel Mimram <smimram at debian.org> on
Fri, 10 Aug 2007 14:48:56 +0000.
-It was downloaded from http://coq.inria.fr/contribs/Float.html
+It was downloaded from http://lipforge.ens-lyon.fr/www/pff/
Upstream Authors: Laurent Théry <thery at sophia.inria.fr>
Sylvie Boldo <Sylvie.Boldo at ens-lyon.fr>
Laurence Rideau <lrg at sophia.inria.fr>
+ Laurent Fousse
-Copyright (C) 2001 Laurent Théry, Sylvie Boldo and Laurence Rideau.
+Copyright (C) 2001 Laurent Théry, Sylvie Boldo, Laurence Rideau and Laurent Fousse.
License:
Modified: trunk/packages/coq-float/trunk/debian/docs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/docs?rev=4213&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/docs (original)
+++ trunk/packages/coq-float/trunk/debian/docs Thu Aug 30 12:21:02 2007
@@ -1,1 +1,0 @@
-README
Modified: trunk/packages/coq-float/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/rules?rev=4213&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/rules (original)
+++ trunk/packages/coq-float/trunk/debian/rules Thu Aug 30 12:21:02 2007
@@ -9,7 +9,10 @@
# Uncomment this to turn on verbose mode.
#export DH_VERBOSE=1
-DESTDIR=debian/libfloat-coq/$(shell coqc -where)/user-contrib
+DESTDIR := debian/libfloat-coq/$(shell coqc -where)/user-contrib
+
+INCDIRS := $(shell find . -type d)
+INCDIRS := $(INCDIRS:%=-I %)
configure: configure-stamp
configure-stamp:
@@ -21,7 +24,7 @@
build-stamp: configure-stamp
dh_testdir
- coq_makefile *.v > Makefile
+ coq_makefile $(INCDIRS) $(shell find . -name \*.v) > Makefile
$(MAKE) depend
$(MAKE) all
$(MAKE) html
@@ -43,7 +46,7 @@
dh_clean -k
dh_installdirs
- cp $(wildcard *.vo) $(DESTDIR)
+ cp $(shell find . -name \*.vo) $(DESTDIR)
cp $(wildcard *.html) debian/libfloat-coq/usr/share/doc/libfloat-coq/html
binary-indep: build install
Added: trunk/packages/coq-float/trunk/debian/watch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/watch?rev=4213&op=file
==============================================================================
--- trunk/packages/coq-float/trunk/debian/watch (added)
+++ trunk/packages/coq-float/trunk/debian/watch Thu Aug 30 12:21:02 2007
@@ -1,0 +1,3 @@
+version=3
+
+http://lipforge.ens-lyon.fr/frs/?group_id=11&release_id=85 .*/Float([0-9a-z\-\.]*)\.tar\.gz
Added: trunk/packages/coq-float/upstream/coq-float_8.1-1.0.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/upstream/coq-float_8.1-1.0.orig.tar.gz?rev=4213&op=file
==============================================================================
Binary file - no diff available.
Propchange: trunk/packages/coq-float/upstream/coq-float_8.1-1.0.orig.tar.gz
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
More information about the Pkg-ocaml-maint-commits
mailing list