debian/0000755000000000000000000000000012256116222007165 5ustar debian/cudf-tools.manpages0000644000000000000000000000002412143220503012746 0ustar debian/cudf-check.1 debian/changelog0000644000000000000000000000745412256116222011051 0ustar cudf (0.6.3-2build1) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose Mon, 23 Dec 2013 20:26:58 +0000 cudf (0.6.3-2) unstable; urgency=low * update debian/watch (on INRIA forge now) * standards-version 3.9.4 (no change) -- Ralf Treinen Fri, 10 May 2013 18:31:39 +0200 cudf (0.6.3-1) experimental; urgency=low * New upstream release * debian/control: bump Standards-Version to 3.9.1 (no changes needed) * debian/copyright: port syntax to machine-readable debian/copyright specification, version 1.0 -- Stefano Zacchiroli Fri, 03 Aug 2012 12:54:43 +0200 cudf (0.6.2-1) unstable; urgency=low * New upstream release -- Stefano Zacchiroli Thu, 15 Sep 2011 14:35:57 +0200 cudf (0.6-1) unstable; urgency=low * New upstream release; highlights: - speed improvements in the pretty printing engine and in cudf-check - fixes in the pretty printing engine * debian/patches/ - drop link-caml_hash_variant-with-ldl.patch (integrated upstream) -- Stefano Zacchiroli Wed, 01 Jun 2011 09:55:06 +0200 cudf (0.5.99-2) unstable; urgency=low [ Ralf Treinen ] * Add debian/watch. * Switched to debian source version "3.0 (quilt)" (no change apart from adding debian/source) * Put maintainer=debian-ocaml-maintainers, Zack and me as uploaders, with the previous maintainer's blessing. [ Stefano Zacchiroli ] * uploading to unstable * debian/control: bump Standards-Version to 3.9.2 (no changes needed) * debian/patches/ - add patch link-caml_hash_variant-with-ldl.patch to avoid link failure with recent binutils (and on non-Linux systems). Thanks Cyril Brulebois for the patch! (Closes: #602489) -- Stefano Zacchiroli Fri, 06 May 2011 21:21:03 +0200 cudf (0.5.99-1) experimental; urgency=low * New upstream release * debian/*.ocamldoc: pass -package extlib, as extlib types are now used in libcudf interface * move packaging (i.e. debian/ dir) to git.d.o * debian/control - update Vcs-* fields to reflect new packaging location - bump Standards-Version to 3.9.1 (no changes needed) * debian/gbp.conf: add configuration file for git-buildpackage -- Stefano Zacchiroli Thu, 04 Nov 2010 16:59:35 +0100 cudf (0.5.98-1) experimental; urgency=low * New upstream release * First upload to the Debian archive * debian/control - add missing build-dep on camlp4 - bump Standards-Version (no changes needed) * debian/cudf-check.1: provide sensible whatis information * debian/copyright: bump copyright year to include 2010 -- Stefano Zacchiroli Fri, 25 Jun 2010 16:51:27 +0200 cudf (0.5.97-1) mancoosi; urgency=low * New upstream release -- Stefano Zacchiroli Thu, 03 Jun 2010 16:42:23 +0200 cudf (0.5.96-1) mancoosi; urgency=low * New upstream release * debian/control: update Vcs-* fields to reflect upstream SVN change -- Stefano Zacchiroli Tue, 01 Jun 2010 15:56:54 +0200 cudf (0.5.94-1) mancoosi; urgency=low * New upstream release * Use upstream make to install C bindings * debian/control: point Homepage to CUDF homepage -- Stefano Zacchiroli Fri, 18 Dec 2009 11:37:40 +0100 cudf (0.5.92-1) mancoosi; urgency=low * New upstream release * Port packaging to recent dh-ocaml (w/ ABI-based dependencies) * debian/control: - bump Standards-Version to 3.8.3 (no changes needed) - drop deps on libpcre-ocaml{,-dev} (no longer needed) * Enable generation of ocamldoc HTML API reference -- Stefano Zacchiroli Sat, 21 Nov 2009 19:38:54 +0100 cudf (0.4-1) mancoosi; urgency=low * First public release. -- Stefano Zacchiroli Fri, 17 Apr 2009 12:00:51 +0200 debian/libcudf-dev.install0000644000000000000000000000005412143220503012731 0ustar usr/lib/*.a usr/include/ usr/lib/pkgconfig/ debian/rules0000755000000000000000000000133012143220503010233 0ustar #!/usr/bin/make -f include /usr/share/cdbs/1/class/makefile.mk include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/rules/ocaml.mk PKGNAME = libcudf-ocaml-dev DESTDIR := $(CURDIR)/debian/tmp DOCDIR = $(CURDIR)/debian/doc/html OCAML_OCAMLDOC_PACKAGES = $(OCAML_LIBDEV_PACKAGES) OBFLAGS = -classic-display -no-hygiene DEB_MAKE_BUILD_TARGET = all DEB_MAKE_BUILD_TARGET += c-lib ifeq ($(OCAML_HAVE_OCAMLOPT),yes) DEB_MAKE_BUILD_TARGET += opt DEB_MAKE_BUILD_TARGET += c-lib-opt else OBFLAGS += -byte-plugin endif DEB_MAKE_BUILD_TARGET += OBFLAGS="$(OBFLAGS)" DEB_MAKE_INSTALL_TARGET = install DESTDIR=$(DESTDIR) DEB_MAKE_CHECK_TARGET = test c-lib-test OBFLAGS="$(OBFLAGS)" DEB_DH_INSTALL_ARGS += -Xcudf-parse-822 debian/libcudf-ocaml-dev.ocamldoc0000644000000000000000000000006512143220503014137 0ustar # enable ocamldoc API ref generation -package extlib debian/libcudf-dev.examples0000644000000000000000000000001712143220503013100 0ustar c-lib/c-test.c debian/gbp.conf0000644000000000000000000000007212143220503010574 0ustar # see git-buildpackage (1) [DEFAULT] pristine-tar = True debian/cudf-tools.install0000644000000000000000000000001012143220503012614 0ustar usr/bin debian/libcudf-ocaml-dev.install.in0000644000000000000000000000002112143220503014421 0ustar @OCamlStdlibDir@ debian/control0000644000000000000000000000747112143220503010572 0ustar Source: cudf Section: devel Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Stefano Zacchiroli , Ralf Treinen Build-Depends: debhelper (>= 7), cdbs, dh-ocaml (>= 0.9), ocaml-nox, camlp4, ocaml-findlib, libextlib-ocaml-dev, libounit-ocaml-dev, libglib2.0-dev Standards-Version: 3.9.4 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/cudf.git Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/cudf.git Homepage: http://www.mancoosi.org/cudf/ Package: libcudf-ocaml-dev Architecture: any Section: ocaml Depends: ocaml-findlib, libextlib-ocaml-dev, ${ocaml:Depends}, ${misc:Depends} Provides: ${ocaml:Provides} Description: OCaml library to access descriptions of package upgrade problems libCUDF is a library to manipulate so called CUDF documents. A CUDF document describe an upgrade problem, as faced by package managers in popular package-based GNU/Linux distributions. . A CUDF document consists of a package universe and of a user request. The package universe describes all packages known to the package manager, a subset of which (the package status) denotes the package being currently installed on the target machine. The user request denotes a change to the package status as requested by the user. . A CUDF document is naturally complemented by a solution describing the resulting package status (if any) implementing the user request, as found by a package manager. . libCUDF enables manipulation of CUDF and related documents. . This package contains all the development stuff you need to use libCUDF in your OCaml programs. Package: libcudf-dev Architecture: any Section: libdevel Depends: libc6-dev, libglib2.0-dev, libncurses5-dev, ${shlibs:Depends}, ${misc:Depends} Description: C library to access descriptions of package upgrade problems libCUDF is a library to manipulate so called CUDF documents. A CUDF document describe an upgrade problem, as faced by package managers in popular package-based GNU/Linux distributions. . A CUDF document consists of a package universe and of a user request. The package universe describes all packages known to the package manager, a subset of which (the package status) denotes the package being currently installed on the target machine. The user request denotes a change to the package status as requested by the user. . A CUDF document is naturally complemented by a solution describing the resulting package status (if any) implementing the user request, as found by a package manager. . libCUDF enables manipulation of CUDF and related documents. . This package contains a C static library binding the OCaml implementation of libCUDF so that it can be used from the C programming language. Package: cudf-tools Architecture: any Section: devel Depends: ${shlibs:Depends}, ${misc:Depends} Description: command line tools for package upgrade problem descriptions A CUDF document describe an upgrade problem, as faced by package managers in popular package-based GNU/Linux distributions. . A CUDF document consists of a package universe and of a user request. The package universe describes all packages known to the package manager, a subset of which (the package status) denotes the package being currently installed on the target machine. The user request denotes a change to the package status as requested by the user. . A CUDF document is naturally complemented by a solution describing the resulting package status (if any) implementing the user request, as found by a package manager. . This package contains command line tools to manipulate CUDF and related documents. In particular it contains cudf-check, which enables checking of document properties such as installation consistency and matching of problems with their solutions. debian/cudf-tools.examples0000644000000000000000000000002012143220503012765 0ustar examples/*.cudf debian/copyright0000644000000000000000000000267312143220503011121 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: cudf Upstream-Contact: Stefano Zacchiroli Source: http://www.mancoosi.org/cudf/ Files: * Copyright: 2009-2012 Stefano Zacchiroli License: LGPL-3+ | other This library 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 3 of the License, or (at your option) any later version. . On Debian systems, the full text of the license can be found in `/usr/share/common-licenses/LGPL-3'. . As a special exception to the GNU Lesser 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 Lesser General Public License. By "a publicly distributed version of the Library", we mean either the unmodified Library as distributed, or a modified version of the Library that is distributed under the conditions defined in clause 3 of the GNU Lesser General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Lesser General Public License. debian/source/0000755000000000000000000000000012143220503010456 5ustar debian/source/format0000644000000000000000000000001412143220503011664 0ustar 3.0 (quilt) debian/watch0000644000000000000000000000011212143220503010201 0ustar version=3 https://gforge.inria.fr/frs/?group_id=4385 .*/cudf-(.*)\.tar\.gzdebian/patches/0000755000000000000000000000000012143220503010605 5ustar debian/patches/series0000644000000000000000000000000012143220503012010 0ustar debian/cudf-check.10000644000000000000000000000142012143220503011231 0ustar .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.38.2. .TH CUDF-CHECK "1" "June 2010" "cudf-check 0.5" "User Commands" .SH NAME cudf-check \- manipulate CUDF documents .SH SYNOPSIS .B cudf-check [\fIOPTION\fR...] .SH DESCRIPTION .SS "In particular:" .TP cudf\-check \fB\-cudf\fR FILE validate CUDF .TP cudf\-check \fB\-cudf\fR FILE \fB\-sol\fR FILE validate CUDF and its solution .TP cudf\-check \fB\-univ\fR FILE validate package universe (no request) .SH OPTIONS .HP \fB\-cudf\fR parse the given CUDF (universe + request) .HP \fB\-univ\fR parse the given package universe .HP \fB\-sol\fR parse the given problem solution .HP \fB\-dump\fR dump parse results to standard output .TP \fB\-help\fR Display this list of options .TP \fB\-\-help\fR Display this list of options debian/compat0000644000000000000000000000000212143220503010354 0ustar 7 debian/libcudf-ocaml-dev.examples0000644000000000000000000000003512143220503014171 0ustar examples/*.ml examples/_tags