[Pkg-ocaml-maint-commits] r4159 - in /trunk/packages/coq-float: trunk/ trunk/debian/ trunk/debian/changelog trunk/debian/compat trunk/debian/control trunk/debian/copyright trunk/debian/dirs trunk/debian/docs trunk/debian/rules upstream/ upstream/coq-float_2001.orig.tar.gz
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Fri Aug 10 15:05:30 UTC 2007
Author: smimram
Date: Fri Aug 10 15:05:30 2007
New Revision: 4159
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4159
Log:
Preliminary package.
Added:
trunk/packages/coq-float/trunk/
trunk/packages/coq-float/trunk/debian/ (with props)
trunk/packages/coq-float/trunk/debian/changelog
trunk/packages/coq-float/trunk/debian/compat
trunk/packages/coq-float/trunk/debian/control
trunk/packages/coq-float/trunk/debian/copyright
trunk/packages/coq-float/trunk/debian/dirs
trunk/packages/coq-float/trunk/debian/docs
trunk/packages/coq-float/trunk/debian/rules (with props)
trunk/packages/coq-float/upstream/
trunk/packages/coq-float/upstream/coq-float_2001.orig.tar.gz (with props)
Propchange: trunk/packages/coq-float/trunk/debian/
------------------------------------------------------------------------------
mergeWithUpstream = 1
Added: trunk/packages/coq-float/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/changelog?rev=4159&op=file
==============================================================================
--- trunk/packages/coq-float/trunk/debian/changelog (added)
+++ trunk/packages/coq-float/trunk/debian/changelog Fri Aug 10 15:05:30 2007
@@ -1,0 +1,5 @@
+coq-float (2001-1) unstable; urgency=low
+
+ * Initial release (Closes: #nnnn) <nnnn is the bug number of your ITP>
+
+ -- Samuel Mimram <smimram at debian.org> Fri, 10 Aug 2007 14:48:56 +0000
Added: trunk/packages/coq-float/trunk/debian/compat
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/compat?rev=4159&op=file
==============================================================================
--- trunk/packages/coq-float/trunk/debian/compat (added)
+++ trunk/packages/coq-float/trunk/debian/compat Fri Aug 10 15:05:30 2007
@@ -1,0 +1,1 @@
+5
Added: trunk/packages/coq-float/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/control?rev=4159&op=file
==============================================================================
--- trunk/packages/coq-float/trunk/debian/control (added)
+++ trunk/packages/coq-float/trunk/debian/control Fri Aug 10 15:05:30 2007
@@ -1,0 +1,12 @@
+Source: coq-float
+Section: libdevel
+Priority: optional
+Maintainer: Samuel Mimram <smimram at debian.org>
+Build-Depends: debhelper (>= 5), coq (>= 8.1)
+Standards-Version: 3.7.2
+
+Package: libfloat-coq
+Architecture: any
+Depends: ${shlibs:Depends}, coq (>= 8.1)
+Description: coq library for floating point numbers
+ Library for reasoning about floating point numbers in coq.
Added: trunk/packages/coq-float/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/copyright?rev=4159&op=file
==============================================================================
--- trunk/packages/coq-float/trunk/debian/copyright (added)
+++ trunk/packages/coq-float/trunk/debian/copyright Fri Aug 10 15:05:30 2007
@@ -1,0 +1,33 @@
+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
+
+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>
+
+Copyright (C) 2001 Laurent Théry, Sylvie Boldo and Laurence Rideau.
+
+License:
+
+ 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'.
+
+
+The Debian packaging is (C) 2007, Samuel Mimram <smimram at debian.org> and
+is licensed under the GPL, see `/usr/share/common-licenses/GPL'.
Added: trunk/packages/coq-float/trunk/debian/dirs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/dirs?rev=4159&op=file
==============================================================================
--- trunk/packages/coq-float/trunk/debian/dirs (added)
+++ trunk/packages/coq-float/trunk/debian/dirs Fri Aug 10 15:05:30 2007
@@ -1,0 +1,1 @@
+usr/lib/coq/user-contrib
Added: trunk/packages/coq-float/trunk/debian/docs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/docs?rev=4159&op=file
==============================================================================
--- trunk/packages/coq-float/trunk/debian/docs (added)
+++ trunk/packages/coq-float/trunk/debian/docs Fri Aug 10 15:05:30 2007
@@ -1,0 +1,1 @@
+README
Added: trunk/packages/coq-float/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/rules?rev=4159&op=file
==============================================================================
--- trunk/packages/coq-float/trunk/debian/rules (added)
+++ trunk/packages/coq-float/trunk/debian/rules Fri Aug 10 15:05:30 2007
@@ -1,0 +1,67 @@
+#!/usr/bin/make -f
+# -*- makefile -*-
+# Sample debian/rules that uses debhelper.
+# This file was originally written by Joey Hess and Craig Small.
+# As a special exception, when this file is copied by dh-make into a
+# dh-make output file, you may use that output file without restriction.
+# This special exception was added by Craig Small in version 0.37 of dh-make.
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+DESTDIR=debian/libfloat-coq/$(shell coqc -where)/user-contrib
+
+configure: configure-stamp
+configure-stamp:
+ dh_testdir
+ touch configure-stamp
+
+
+build: build-stamp
+build-stamp: configure-stamp
+ dh_testdir
+
+ coq_makefile *.v > Makefile
+ $(MAKE) depend
+ $(MAKE) all
+
+ touch $@
+
+clean:
+ dh_testdir
+ dh_testroot
+ rm -f build-stamp configure-stamp
+
+ -$(MAKE) clean
+
+ dh_clean
+
+install: build
+ dh_testdir
+ dh_testroot
+ dh_clean -k
+ dh_installdirs
+
+ cp $(wildcard *.vo) $(DESTDIR)
+
+binary-indep: build install
+
+binary-arch: build install
+ dh_testdir
+ dh_testroot
+ dh_installchangelogs
+ dh_installdocs
+ dh_installexamples
+ dh_installman
+ dh_link
+ dh_strip
+ dh_compress
+ dh_fixperms
+ dh_installdeb
+ dh_shlibdeps
+ dh_gencontrol
+ dh_md5sums
+ dh_builddeb
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch binary install configure
Propchange: trunk/packages/coq-float/trunk/debian/rules
------------------------------------------------------------------------------
svn:executable = *
Added: trunk/packages/coq-float/upstream/coq-float_2001.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/upstream/coq-float_2001.orig.tar.gz?rev=4159&op=file
==============================================================================
Binary file - no diff available.
Propchange: trunk/packages/coq-float/upstream/coq-float_2001.orig.tar.gz
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
More information about the Pkg-ocaml-maint-commits
mailing list