--- coq-float-8.2-1.2.orig/debian/changelog +++ coq-float-8.2-1.2/debian/changelog @@ -0,0 +1,68 @@ +coq-float (1:8.2-1.2-3) unstable; urgency=low + + * Rebuild with Coq 8.2pl1 + + -- Stephane Glondu Sat, 04 Jul 2009 14:06:56 +0200 + +coq-float (1:8.2-1.2-2) unstable; urgency=low + + * Recompile with OCaml 3.11.1 ABI + * Update Standards-Version to 3.8.2 + + -- Stephane Glondu Wed, 01 Jul 2009 20:11:09 +0200 + +coq-float (1:8.2-1.2-1) unstable; urgency=low + + [ Samuel Mimram ] + * Switch packaging to git. + * Enforce strict dependency on coq ABI. + * Update standards version to 3.8.0. + * Add Homepage field. + + [ Stephane Glondu ] + * New Upstream Version + * Use debhelper 7 + * Add a build cache (for Debian debugging) + * Set Maintainer to d-o-m, add Samuel and myself to Uploaders + * Add DM-Upload-Allowed + * Switch copyright to machine-parsable format + * Add a more detailed long description for libfloat-coq + + -- Stephane Glondu Wed, 11 Mar 2009 17:13:21 +0100 + +coq-float (1:8.1-1.0-4) unstable; urgency=low + + [ Stefano Zacchiroli ] + * add vcs-* fields + + [ Samuel Mimram ] + * Rebuild with latest version of coq. + + -- Samuel Mimram Sat, 19 Jan 2008 16:52:13 +0100 + +coq-float (1:8.1-1.0-3) unstable; urgency=low + + * Rebuild with latest coq. + + -- Samuel Mimram Sun, 18 Nov 2007 19:21:44 +0000 + +coq-float (1:8.1-1.0-2) unstable; urgency=low + + * Rebuild with latest version of coq. + + -- Samuel Mimram Mon, 10 Sep 2007 00:24:19 +0200 + +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 Thu, 30 Aug 2007 13:08:49 +0200 + +coq-float (2001-1) unstable; urgency=low + + * Initial release, closes: #438613. + + -- Samuel Mimram Fri, 10 Aug 2007 14:48:56 +0000 --- coq-float-8.2-1.2.orig/debian/libfloat-coq.install +++ coq-float-8.2-1.2/debian/libfloat-coq.install @@ -0,0 +1,3 @@ +*.vo /usr/lib/coq/user-contrib +*/*.vo /usr/lib/coq/user-contrib +html /usr/share/doc/libfloat-coq --- coq-float-8.2-1.2.orig/debian/copyright +++ coq-float-8.2-1.2/debian/copyright @@ -0,0 +1,41 @@ +Packaged-By: Samuel Mimram +Packaged-Date: Fri, 10 Aug 2007 14:48:56 +0000 +Upstream-Author: + Laurent Théry , + Sylvie Boldo , + Laurence Rideau , + Laurent Fousse +Original-Source-Location: http://lipforge.ens-lyon.fr/www/pff/ + +Files: * +Copyright: © 2001-2002 Sylvie Boldo + © 2001 Laurent Théry + © 2001 Laurence Rideau + © 2001 Laurent Fousse +License: LGPL-2+ + + This package is free software; you can redistribute it and/or modify + it under the terms of the GNU Lesser General Public License as + published by the Free Software Foundation; either version 2 of the + License, or (at your option) any later version. + + This package is distributed in the hope that it will be useful, but + WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + Lesser General Public License for more details. + + You should have received a copy of the GNU Lesser General Public + License along with this package; if not, write to the Free Software + Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 + USA + + On Debian systems, the complete text of the GNU Lesser General + Public License can be found in `/usr/share/common-licenses/LGPL-2'. + +Files: debian/* +Copyright: © 2007 Samuel Mimram + © 2009 Stéphane Glondu +License: GPL-2+ + + The Debian packaging is licensed under the GPL, see + `/usr/share/common-licenses/GPL-2'. --- coq-float-8.2-1.2.orig/debian/watch +++ coq-float-8.2-1.2/debian/watch @@ -0,0 +1,3 @@ +version=3 + +http://lipforge.ens-lyon.fr/frs/?group_id=11&release_id=85 .*/Float([0-9a-z\-\.]*)\.tar\.gz --- coq-float-8.2-1.2.orig/debian/libfloat-coq.dirs +++ coq-float-8.2-1.2/debian/libfloat-coq.dirs @@ -0,0 +1,2 @@ +usr/lib/coq/user-contrib +usr/share/doc/libfloat-coq --- coq-float-8.2-1.2.orig/debian/control +++ coq-float-8.2-1.2/debian/control @@ -0,0 +1,22 @@ +Source: coq-float +Section: libdevel +Priority: optional +Maintainer: Debian OCaml Maintainers +Uploaders: + Samuel Mimram , + Stephane Glondu +DM-Upload-Allowed: yes +Build-Depends: debhelper (>= 7), coq (>= 8.2) +Standards-Version: 3.8.2 +Homepage: http://lipforge.ens-lyon.fr/www/pff/ +Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-float.git +Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git + +Package: libfloat-coq +Architecture: all +Depends: ${shlibs:Depends}, ${misc:Depends}, coq-${F:CoqABI} +Description: Coq library on floating-point arithmetic + This package provides PFF (Preuves Formelles sur les Flottants = + Formal Proofs about Floats), a library for reasoning about + floating-point arithmetic in Coq. It contains both definitions and + proofs of basic facts, old & new properties and algorithms. --- coq-float-8.2-1.2.orig/debian/gbp.conf +++ coq-float-8.2-1.2/debian/gbp.conf @@ -0,0 +1,2 @@ +[DEFAULT] +pristine-tar = True --- coq-float-8.2-1.2.orig/debian/rules +++ coq-float-8.2-1.2/debian/rules @@ -0,0 +1,57 @@ +#!/usr/bin/make -f +# -*- makefile -*- + +# Uncomment this to turn on verbose mode. +#export DH_VERBOSE=1 + +# Build cache (for accelerating Debian debugging) +BUILDCACHE := $(wildcard ../coq-float.cache) + +include /usr/share/coq/coqvars.mk + +INCDIRS := $(shell find . -name .git -prune -or -type d -print) +INCDIRS := $(INCDIRS:%=-I %) + +FILES_TO_BACKUP := Makefile + +configure: configure-stamp +configure-stamp: + dh build --before dh_auto_configure + for u in $(FILES_TO_BACKUP); do \ + if [ ! -f "$$u.backup" ]; then cp "$$u" "$$u.backup"; fi \ + done + coq_makefile $(INCDIRS) $(shell find . -name \*.v) > Makefile + touch $@ + +build: build-stamp +build-stamp: configure-stamp +ifeq ($(BUILDCACHE),) + $(MAKE) depend + $(MAKE) all + $(MAKE) html +else + @echo "===> Build cache detected, skipping compilation <===" + rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ . +endif + dh build --after dh_auto_test + touch $@ + +clean: + dh $@ + for u in $(FILES_TO_BACKUP); do \ + if [ -f "$$u.backup" ]; then mv "$$u.backup" "$$u"; fi \ + done + +install: build + dh $@ --before dh_auto_install + dh $@ --after dh_auto_install + +binary-indep: install + echo 'F:CoqABI=$(COQ_ABI)' >> debian/libfloat-coq.substvars + dh $@ + +binary-arch: + # No binary-arch packages + +binary: binary-indep +.PHONY: build clean binary-indep binary-arch binary install configure --- coq-float-8.2-1.2.orig/debian/compat +++ coq-float-8.2-1.2/debian/compat @@ -0,0 +1 @@ +7