debian/0000755000000000000000000000000012256060676007200 5ustar debian/changelog0000644000000000000000000000045212256060676011053 0ustar cmdliner (0.9.3-1build1) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose Mon, 23 Dec 2013 16:15:59 +0000 cmdliner (0.9.3-1) unstable; urgency=low * Initial upload (Closes: #641986) -- Mehdi Dogguy Sun, 06 Jan 2013 10:50:00 +0200 debian/libcmdliner-ocaml-dev.install.in0000644000000000000000000000000412072242037015305 0ustar usr debian/rules0000755000000000000000000000141412072242037010245 0ustar #!/usr/bin/make -f # -*- makefile -*- DESTDIR=$(CURDIR)/debian/tmp include /usr/share/ocaml/ocamlvars.mk OCAMLFIND_DESTDIR=$(DESTDIR)/$(OCAML_STDLIB_DIR) export OCAMLFIND_DESTDIR %: dh $@ --with ocaml .PHONY: override_dh_auto_configure override_dh_auto_configure: ocaml setup.ml -configure --prefix /usr --destdir '$(DESTDIR)' --enable-tests .PHONY: override_dh_auto_build override_dh_auto_build: ocaml setup.ml -build .PHONY: override_dh_auto_test override_dh_auto_test: ocaml setup.ml -test .PHONY: override_dh_auto_install override_dh_auto_install: mkdir -p '$(OCAMLFIND_DESTDIR)' ocaml setup.ml -install .PHONY: override_dh_install override_dh_install: dh_install --fail-missing .PHONY: override_dh_auto_clean override_dh_auto_clean: ocaml setup.ml -distclean debian/libcmdliner-ocaml-dev.docs0000644000000000000000000000002312072244612014164 0ustar README CHANGES doc debian/libcmdliner-ocaml-dev.doc-base0000644000000000000000000000045312072244530014717 0ustar Document: libcmdliner-ocaml-dev Title: command line interface handler Author: Daniel C. Bünzli Abstract: Documentation of the OCaml Cmdliner module Section: Programming/OCaml Format: HTML Index: /usr/share/doc/libcmdliner-ocaml-dev/doc/index.html Files: /usr/share/doc/libcmdliner-ocaml-dev/doc/* debian/control0000644000000000000000000000222312072243324010567 0ustar Source: cmdliner Section: devel Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy Build-Depends: debhelper (>= 8), ocaml-nox, ocaml-findlib (>= 1.2.4), dh-ocaml (>= 0.9) Standards-Version: 3.9.3 Homepage: http://erratique.ch/software/cmdliner Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/cmdliner.git Package: libcmdliner-ocaml-dev Architecture: any Section: ocaml Depends: ${ocaml:Depends}, ${shlibs:Depends}, ocaml-findlib, ${misc:Depends} Provides: ${ocaml:Provides} Description: declarative definition of command line interfaces It provides a simple and compositional mechanism to convert command line arguments to OCaml values and pass them to your functions. The module automatically handles syntax errors, help messages and UNIX man page generation. It supports programs with single or multiple commands (like darcs or git) and respects most of the POSIX and GNU conventions. . This package contains the development modules you need to use Cmdliner in your programs. debian/examples0000644000000000000000000000000712072242037010723 0ustar test/* debian/copyright0000644000000000000000000000346012072244053011123 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Source: http://erratique.ch/logiciel/cmdliner Files: * Copyright: © 2011-2012 Daniel C. Bünzli License: BSD-3-clause 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. Neither the name of the Daniel C. Bünzli nor the names of contributors may 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. Files: debian/* Copyright: © 2013 Mehdi Dogguy License: GPL-2 The Debian packaging is licensed under the GPL, see `/usr/share/common-licenses/GPL-2'. debian/source/0000755000000000000000000000000012072242037010465 5ustar debian/source/format0000644000000000000000000000001412072242037011673 0ustar 3.0 (quilt) debian/watch0000644000000000000000000000010512072244117010213 0ustar version=3 http://erratique.ch/software/cmdliner .*cmdliner-(.+)\.tbz debian/compat0000644000000000000000000000000212072242037010363 0ustar 8