[Pkg-ocaml-maint-commits] r2633 - in trunk/packages/menhir: . trunk
trunk/debian upstream
Samuel Mimram
smimram at costa.debian.org
Wed Apr 19 17:33:54 UTC 2006
Author: smimram
Date: 2006-04-19 17:33:50 +0000 (Wed, 19 Apr 2006)
New Revision: 2633
Added:
trunk/packages/menhir/trunk/
trunk/packages/menhir/trunk/debian/
trunk/packages/menhir/trunk/debian/changelog
trunk/packages/menhir/trunk/debian/compat
trunk/packages/menhir/trunk/debian/control
trunk/packages/menhir/trunk/debian/copyright
trunk/packages/menhir/trunk/debian/docs
trunk/packages/menhir/trunk/debian/examples
trunk/packages/menhir/trunk/debian/rules
trunk/packages/menhir/trunk/debian/svn-deblayout
trunk/packages/menhir/trunk/debian/watch
trunk/packages/menhir/upstream/
trunk/packages/menhir/upstream/menhir_20060412.orig.tar.gz
Log:
Preliminary package.
Added: trunk/packages/menhir/trunk/debian/changelog
===================================================================
--- trunk/packages/menhir/trunk/debian/changelog 2006-04-19 17:08:47 UTC (rev 2632)
+++ trunk/packages/menhir/trunk/debian/changelog 2006-04-19 17:33:50 UTC (rev 2633)
@@ -0,0 +1,6 @@
+menhir (20060412-1) unstable; urgency=low
+
+ * Initial release Closes: #nnnn (nnnn is the bug number of your ITP)
+
+ -- Samuel Mimram <smimram at debian.org> Wed, 19 Apr 2006 19:11:20 +0200
+
Added: trunk/packages/menhir/trunk/debian/compat
===================================================================
--- trunk/packages/menhir/trunk/debian/compat 2006-04-19 17:08:47 UTC (rev 2632)
+++ trunk/packages/menhir/trunk/debian/compat 2006-04-19 17:33:50 UTC (rev 2633)
@@ -0,0 +1 @@
+4
Added: trunk/packages/menhir/trunk/debian/control
===================================================================
--- trunk/packages/menhir/trunk/debian/control 2006-04-19 17:08:47 UTC (rev 2632)
+++ trunk/packages/menhir/trunk/debian/control 2006-04-19 17:33:50 UTC (rev 2633)
@@ -0,0 +1,20 @@
+Source: menhir
+Section: devel
+Priority: optional
+Maintainer: Samuel Mimram <smimram at debian.org>
+Build-Depends: debhelper (>= 4.0.0), ocaml-nox (>= 3.09), ocaml-findlib
+Standards-Version: 3.6.2
+
+Package: menhir
+Architecture: any
+Depends: ocaml-nox (>= 3.09), ${shlibs:Depends}
+Description: Parser generator for OCaml
+ Menhir is a LR(1) parser generator for OCaml. It is mostly compatible
+ with the standard ocamlyacc and has the following enhancements:
+ * it accepts LR(1) grammars,
+ * it offers parameterized nonterminal symbols as well as a library of
+ standard definitions,
+ * it explains conflicts in terms of the grammar,
+ * it allows grammar specifications to be split over multiple files and
+ parametrized by OCaml modules,
+ * it produces reentrant parsers.
Added: trunk/packages/menhir/trunk/debian/copyright
===================================================================
--- trunk/packages/menhir/trunk/debian/copyright 2006-04-19 17:08:47 UTC (rev 2632)
+++ trunk/packages/menhir/trunk/debian/copyright 2006-04-19 17:33:50 UTC (rev 2633)
@@ -0,0 +1,147 @@
+This package was debianized by Samuel Mimram <smimram at debian.org> on
+Wed, 19 Apr 2006 19:11:20 +0200.
+
+It was downloaded from http://pauillac.inria.fr/~fpottier/menhir/
+
+Copyright Holders: François Pottier <Francois.Pottier at inria.fr>, Yann Régis-Gianas <Yann.Regis-Gianas at inria.fr>
+
+License:
+
+In the following, "the Library" refers to the following file:
+
+ standard.mly
+
+and "the Generator" refers to all files marked "Copyright INRIA" in the
+root directory.
+
+The Generator is distributed under the terms of the Q Public License
+version 1.0 with a change to choice of law (included below).
+
+The Library is distributed under the terms of the GNU Library General
+Public License version 2 which can be found in
+/usr/share/common-licenses/LGPL-2.
+
+As a special exception to the Q Public Licence, you may develop
+application programs, reusable components and other software items
+that link with the original or modified versions of the Generator
+and are not made available to the general public, without any of the
+additional requirements listed in clause 6c of the Q Public licence.
+
+As a special exception to the GNU Library General Public License, you
+may link, statically or dynamically, a "work that uses the Library"
+with a publicly distributed version of the Library to produce an
+executable file containing portions of the Library, and distribute
+that executable file under terms of your choice, without any of the
+additional requirements listed in clause 6 of the GNU Library General
+Public License. By "a publicly distributed version of the Library",
+we mean either the unmodified Library as distributed by INRIA, or a
+modified version of the Library that is distributed under the
+conditions defined in clause 3 of the GNU Library General Public
+License. This exception does not however invalidate any other reasons
+why the executable file might be covered by the GNU Library General
+Public License.
+
+----------------------------------------------------------------------
+
+ THE Q PUBLIC LICENSE version 1.0
+
+ Copyright (C) 1999 Troll Tech AS, Norway.
+ Everyone is permitted to copy and
+ distribute this license document.
+
+The intent of this license is to establish freedom to share and change
+the software regulated by this license under the open source model.
+
+This license applies to any software containing a notice placed by the
+copyright holder saying that it may be distributed under the terms of
+the Q Public License version 1.0. Such software is herein referred to
+as the Software. This license covers modification and distribution of
+the Software, use of third-party application programs based on the
+Software, and development of free software which uses the Software.
+
+ Granted Rights
+
+1. You are granted the non-exclusive rights set forth in this license
+provided you agree to and comply with any and all conditions in this
+license. Whole or partial distribution of the Software, or software
+items that link with the Software, in any form signifies acceptance of
+this license.
+
+2. You may copy and distribute the Software in unmodified form
+provided that the entire package, including - but not restricted to -
+copyright, trademark notices and disclaimers, as released by the
+initial developer of the Software, is distributed.
+
+3. You may make modifications to the Software and distribute your
+modifications, in a form that is separate from the Software, such as
+patches. The following restrictions apply to modifications:
+
+ a. Modifications must not alter or remove any copyright notices
+ in the Software.
+
+ b. When modifications to the Software are released under this
+ license, a non-exclusive royalty-free right is granted to the
+ initial developer of the Software to distribute your
+ modification in future versions of the Software provided such
+ versions remain available under these terms in addition to any
+ other license(s) of the initial developer.
+
+4. You may distribute machine-executable forms of the Software or
+machine-executable forms of modified versions of the Software,
+provided that you meet these restrictions:
+
+ a. You must include this license document in the distribution.
+
+ b. You must ensure that all recipients of the machine-executable
+ forms are also able to receive the complete machine-readable
+ source code to the distributed Software, including all
+ modifications, without any charge beyond the costs of data
+ transfer, and place prominent notices in the distribution
+ explaining this.
+
+ c. You must ensure that all modifications included in the
+ machine-executable forms are available under the terms of this
+ license.
+
+5. You may use the original or modified versions of the Software to
+compile, link and run application programs legally developed by you or
+by others.
+
+6. You may develop application programs, reusable components and other
+software items that link with the original or modified versions of the
+Software. These items, when distributed, are subject to the following
+requirements:
+
+ a. You must ensure that all recipients of machine-executable
+ forms of these items are also able to receive and use the
+ complete machine-readable source code to the items without any
+ charge beyond the costs of data transfer.
+
+ b. You must explicitly license all recipients of your items to
+ use and re-distribute original and modified versions of the
+ items in both machine-executable and source code forms. The
+ recipients must be able to do so without any charges whatsoever,
+ and they must be able to re-distribute to anyone they choose.
+
+ c. If the items are not available to the general public, and the
+ initial developer of the Software requests a copy of the items,
+ then you must supply one.
+
+ Limitations of Liability
+
+In no event shall the initial developers or copyright holders be
+liable for any damages whatsoever, including - but not restricted to -
+lost revenue or profits or other direct, indirect, special, incidental
+or consequential damages, even if they have been advised of the
+possibility of such damages, except to the extent invariable law, if
+any, provides otherwise.
+
+ No Warranty
+
+The Software and this license document are provided AS IS with NO
+WARRANTY OF ANY KIND, INCLUDING THE WARRANTY OF DESIGN,
+MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
+
+ Choice of Law
+
+This license is governed by the Laws of France.
Added: trunk/packages/menhir/trunk/debian/docs
===================================================================
--- trunk/packages/menhir/trunk/debian/docs 2006-04-19 17:08:47 UTC (rev 2632)
+++ trunk/packages/menhir/trunk/debian/docs 2006-04-19 17:33:50 UTC (rev 2633)
@@ -0,0 +1 @@
+manual.pdf
Added: trunk/packages/menhir/trunk/debian/examples
===================================================================
--- trunk/packages/menhir/trunk/debian/examples 2006-04-19 17:08:47 UTC (rev 2632)
+++ trunk/packages/menhir/trunk/debian/examples 2006-04-19 17:33:50 UTC (rev 2633)
@@ -0,0 +1 @@
+demos/*
Added: trunk/packages/menhir/trunk/debian/rules
===================================================================
--- trunk/packages/menhir/trunk/debian/rules 2006-04-19 17:08:47 UTC (rev 2632)
+++ trunk/packages/menhir/trunk/debian/rules 2006-04-19 17:33:50 UTC (rev 2633)
@@ -0,0 +1,60 @@
+#!/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
+
+build: build-stamp
+build-stamp:
+ dh_testdir
+ $(MAKE)
+ touch build-stamp
+
+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
+
+ $(MAKE) install PREFIX=$(CURDIR)/debian/menhir/usr
+
+
+# Build architecture-independent files here.
+binary-indep: build install
+# We have nothing to do by default.
+
+# Build architecture-dependent files here.
+binary-arch: build install
+ dh_testdir
+ dh_testroot
+ dh_installchangelogs CHANGES
+ dh_installdocs
+ dh_installexamples
+ dh_install
+ 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
Property changes on: trunk/packages/menhir/trunk/debian/rules
___________________________________________________________________
Name: svn:executable
+ *
Added: trunk/packages/menhir/trunk/debian/svn-deblayout
===================================================================
--- trunk/packages/menhir/trunk/debian/svn-deblayout 2006-04-19 17:08:47 UTC (rev 2632)
+++ trunk/packages/menhir/trunk/debian/svn-deblayout 2006-04-19 17:33:50 UTC (rev 2633)
@@ -0,0 +1,3 @@
+origDir=../upstream
+origUrl=svn+ssh://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/menhir/upstream
+tagsUrl=svn+ssh://svn.debian.org/svn/pkg-ocaml-maint/tags/packages/menhir
Added: trunk/packages/menhir/trunk/debian/watch
===================================================================
--- trunk/packages/menhir/trunk/debian/watch 2006-04-19 17:08:47 UTC (rev 2632)
+++ trunk/packages/menhir/trunk/debian/watch 2006-04-19 17:33:50 UTC (rev 2633)
@@ -0,0 +1,3 @@
+version=3
+
+http://pauillac.inria.fr/~fpottier/menhir/menhir-(.*)\.tar\.gz
Added: trunk/packages/menhir/upstream/menhir_20060412.orig.tar.gz
===================================================================
(Binary files differ)
Property changes on: trunk/packages/menhir/upstream/menhir_20060412.orig.tar.gz
___________________________________________________________________
Name: svn:mime-type
+ application/octet-stream
More information about the Pkg-ocaml-maint-commits
mailing list