[med-svn] r8411 - trunk/packages/maude/trunk/debian
Andreas Tille
tille at alioth.debian.org
Fri Nov 4 15:07:02 UTC 2011
Author: tille
Date: 2011-11-04 15:07:02 +0000 (Fri, 04 Nov 2011)
New Revision: 8411
Added:
trunk/packages/maude/trunk/debian/upstream-metadata.yaml
Modified:
trunk/packages/maude/trunk/debian/changelog
trunk/packages/maude/trunk/debian/compat
trunk/packages/maude/trunk/debian/control
trunk/packages/maude/trunk/debian/copyright
Log:
Cleaned up srouce package to prevent FTBFS bug; packaging updates, created upstream-metadata.yaml
Modified: trunk/packages/maude/trunk/debian/changelog
===================================================================
--- trunk/packages/maude/trunk/debian/changelog 2011-11-04 14:34:43 UTC (rev 8410)
+++ trunk/packages/maude/trunk/debian/changelog 2011-11-04 15:07:02 UTC (rev 8411)
@@ -1,10 +1,19 @@
-maude (2.6-2) UNRELEASED; urgency=low
+maude (2.6-2) unstable; urgency=low
+ * Rebuilded after cleaning up
+ Closes: #643212
* Added myself to Uploaders
* Follow hint of ftpmaster to fix clean target and clean up
src/Mixfix/surface.output
+ * debian/control:
+ - Standards-Version: 3.9.2 (no changes needed)
+ - Fixed Vcs fields
+ - Drop article 'A' from start of short description
+ * Debhelper 8 (control+compat)
+ * debian/copyright: DEP5 compatibility
+ * debian/upstream-metadata.yaml: citing information
- -- Andreas Tille <tille at debian.org> Sat, 09 Apr 2011 20:54:37 +0200
+ -- Andreas Tille <tille at debian.org> Fri, 04 Nov 2011 15:37:12 +0100
maude (2.6-1) unstable; urgency=low
Modified: trunk/packages/maude/trunk/debian/compat
===================================================================
--- trunk/packages/maude/trunk/debian/compat 2011-11-04 14:34:43 UTC (rev 8410)
+++ trunk/packages/maude/trunk/debian/compat 2011-11-04 15:07:02 UTC (rev 8411)
@@ -1 +1 @@
-7
+8
Modified: trunk/packages/maude/trunk/debian/control
===================================================================
--- trunk/packages/maude/trunk/debian/control 2011-11-04 14:34:43 UTC (rev 8410)
+++ trunk/packages/maude/trunk/debian/control 2011-11-04 15:07:02 UTC (rev 8411)
@@ -5,18 +5,18 @@
DM-Upload-Allowed: yes
Uploaders: Scott Christley <schristley at mac.com>,
Andreas Tille <tille at debian.org>
-Build-Depends: cdbs, debhelper (>= 7), quilt, autotools-dev, libtecla1-dev, libbdd-dev, libgmp3-dev,
+Build-Depends: cdbs, debhelper (>= 8), quilt, autotools-dev, libtecla1-dev, libbdd-dev, libgmp3-dev,
libsigsegv-dev, bison, flex, libncurses5-dev
-Standards-Version: 3.9.1
+Standards-Version: 3.9.2
Homepage: http://maude.cs.uiuc.edu
-Vcs-Browser: http://svn.debian.org/wsvn/debian-med/trunk/packages/maude/trunk/?rev=0&sc=0
-Vcs-Svn: svn://svn.debian.org/svn/debian-med/trunk/packages/maude/trunk/
+Vcs-Browser: http://svn.debian.org/wsvn/debian-med/trunk/packages/maude/trunk/
+Vcs-Svn: svn://svn.debian.org/debian-med/trunk/packages/maude/trunk/
Package: maude
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Conflicts: maude
-Description: A high-performance logical framework.
+Description: high-performance logical framework
Maude is a high-performance reflective language and system supporting
both equational and rewriting logic specification and programming for
a wide range of applications. Maude has been influenced in important
Modified: trunk/packages/maude/trunk/debian/copyright
===================================================================
--- trunk/packages/maude/trunk/debian/copyright 2011-11-04 14:34:43 UTC (rev 8410)
+++ trunk/packages/maude/trunk/debian/copyright 2011-11-04 15:07:02 UTC (rev 8411)
@@ -1,62 +1,64 @@
-Format-Specification: http://svn.debian.org/wsvn/dep/web/deps/dep5.mdwn?op=file&rev=135
-Name: maude
-Maintainer: Maude Project Team
+Format: http://dep.debian.net/deps/dep5/
+Upstream-Name: maude
+Upstream-Contact: Steven Eker <eker at csl.sri.com>
Source: http://maude.uc.uiuc.edu/
+Files: *
Copyright: 1997-2011 SRI International, Menlo Park, CA 94025, USA.
License: GPL-2+
+ This program is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published
+ by the Free Software Foundation; either version 2 of the License,
+ or (at your option) any later version.
+ .
+ This program 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 General Public License for more details.
+ .
+ You should have received a copy of the GNU General Public License along
+ with this program; if not, write to the Free Software Foundation, Inc.,
+ 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+ .
+ On Debian systems, the full text of the GNU General Public
+ License version 2 can be found in the file
+ `/usr/share/common-licenses/GPL-2'.
-This program is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published
-by the Free Software Foundation; either version 2 of the License,
-or (at your option) any later version.
-
-This program 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 General Public License for more details.
-
-You should have received a copy of the GNU General Public License along
-with this program; if not, write to the Free Software Foundation, Inc.,
-51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
-
-On Debian systems, the full text of the GNU General Public
-License version 2 can be found in the file
-`/usr/share/common-licenses/GPL-2'.
-
-
Files: src/3rdParty/MersenneTwister.h
Copyright: 1997 - 2002, Makoto Matsumoto and Takuji Nishimura,
Copyright: 2000 - 2003, Richard J. Wagner
-
-Reference
-M. Matsumoto and T. Nishimura, "Mersenne Twister: A 623-Dimensionally
-Equidistributed Uniform Pseudo-Random Number Generator", ACM Transactions on
-Modeling and Computer Simulation, Vol. 8, No. 1, January 1998, pp 3-30.
-
-Redistribution and use in source and binary forms, with or without
-modification, are permitted provided that the following conditions
-are met:
-
+License: BSD-like
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions
+ are met:
+ .
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
-
+ .
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
-
+ .
3. The names of its contributors may not be used to endorse or promote
products derived from this software without specific prior written
permission.
+ .
+ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+ A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
+ CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+ EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+ PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+ PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+ LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+ NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+Comment: For citation information see
+ file debian/upstream-metadata.yaml
-THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
-"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
-LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
-A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
-CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
-EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
-PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
-PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
-LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
-NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+Files: debian/*
+Copyright: 2011 Scott Christley <schristley at mac.com>,
+ Andreas Tille <tille at debian.org>
+License: GPL-2+
+ As maude itself
Added: trunk/packages/maude/trunk/debian/upstream-metadata.yaml
===================================================================
--- trunk/packages/maude/trunk/debian/upstream-metadata.yaml (rev 0)
+++ trunk/packages/maude/trunk/debian/upstream-metadata.yaml 2011-11-04 15:07:02 UTC (rev 8411)
@@ -0,0 +1,13 @@
+Contact: Richard J. Wagner
+DOI: 10.1145/272991.272995
+Homepage: http://www-personal.umich.edu/~wagnerr/MersenneTwister.html
+Name: Mersenne Twister Random Number Generator
+Reference:
+ author: M. Matsumoto and T. Nishimura
+ title: Mersenne Twister: A 623-Dimensionally Equidistributed Uniform Pseudo-Random Number Generator
+ journal: ACM Transactions on Modeling and Computer Simulation
+ volume: 8
+ number: 1
+ year: 1998
+ pages: 3-30
+ URL: http://dl.acm.org/citation.cfm?id=272995
More information about the debian-med-commit
mailing list