[Pkg-ocaml-maint-commits] r3552 - in /trunk/packages/coq/branches: 8.1/debian/ 8.1/debian/patches/ 8.1/debian/utils/ upstream/

[smimram at users.alioth.debian.org]

Author: smimram
Date: Tue Feb 13 14:48:12 2007
New Revision: 3552

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3552
Log:
New upstream release.

Added:
    trunk/packages/coq/branches/8.1/debian/utils/
    trunk/packages/coq/branches/8.1/debian/utils/purify_tarball   (with props)
    trunk/packages/coq/branches/upstream/coq_8.1+dfsg.orig.tar.gz   (with props)
Removed:
    trunk/packages/coq/branches/8.1/debian/patches/next-ia64.dpatch
    trunk/packages/coq/branches/8.1/debian/patches/system.dpatch
    trunk/packages/coq/branches/upstream/coq_8.1~gamma.orig.tar.gz
Modified:
    trunk/packages/coq/branches/8.1/debian/changelog
    trunk/packages/coq/branches/8.1/debian/coq.install
    trunk/packages/coq/branches/8.1/debian/patches/00list

Modified: trunk/packages/coq/branches/8.1/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/changelog?rev=3552&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/changelog (original)
+++ trunk/packages/coq/branches/8.1/debian/changelog Tue Feb 13 14:48:12 2007
@@ -1,3 +1,16 @@
+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.

Modified: trunk/packages/coq/branches/8.1/debian/coq.install
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/coq.install?rev=3552&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/coq.install (original)
+++ trunk/packages/coq/branches/8.1/debian/coq.install Tue Feb 13 14:48:12 2007
@@ -8,6 +8,8 @@
 usr/bin/coqtop*
 usr/bin/coqwc
 usr/bin/gallina
+usr/lib/coq/*.cma
+usr/lib/coq/*.cmxa
 usr/lib/coq/tools/coqdoc/
 usr/share/emacs/site-lisp/coq/*
 usr/share/man/man1/c*

Modified: trunk/packages/coq/branches/8.1/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/patches/00list?rev=3552&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/patches/00list (original)
+++ trunk/packages/coq/branches/8.1/debian/patches/00list Tue Feb 13 14:48:12 2007
@@ -1,6 +1,4 @@
 coqdoc_stdlib
 browser
 makefile
-system
 no-complexity-test
-next-ia64

Added: trunk/packages/coq/branches/8.1/debian/utils/purify_tarball
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/utils/purify_tarball?rev=3552&op=file
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/utils/purify_tarball (added)
+++ trunk/packages/coq/branches/8.1/debian/utils/purify_tarball Tue Feb 13 14:48:12 2007
@@ -1,0 +1,26 @@
+#!/bin/sh
+
+set -e
+
+CURDIR=`pwd`
+ORIG=$1
+WORKDIR=`dirname $ORIG`
+ORIGFILE=`basename $ORIG`
+VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.]\+\)\.tar\.gz$/\1/"`
+
+cd $WORKDIR
+
+tar zxf $ORIGFILE
+
+rm -rf coq-$VERSION/doc/common
+rm -rf coq-$VERSION/doc/faq
+rm -rf coq-$VERSION/doc/RecTutorial
+rm -rf coq-$VERSION/doc/refman
+rm -rf coq-$VERSION/doc/rt
+rm -rf coq-$VERSION/doc/tools
+rm -rf coq-$VERSION/doc/tutorial
+
+tar zcf coq_$VERSION+dfsg.orig.tar.gz coq-$VERSION/
+rm -rf coq-$VERSION
+
+cd $CURDIR

Propchange: trunk/packages/coq/branches/8.1/debian/utils/purify_tarball
------------------------------------------------------------------------------
    svn:executable = *

Added: trunk/packages/coq/branches/upstream/coq_8.1+dfsg.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/upstream/coq_8.1%2Bdfsg.orig.tar.gz?rev=3552&op=file
==============================================================================
Binary file - no diff available.

Propchange: trunk/packages/coq/branches/upstream/coq_8.1+dfsg.orig.tar.gz
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream