debian/0000755000000000000000000000000012256061127007170 5ustar debian/changelog0000644000000000000000000000274612256061127011053 0ustar uuidm (0.9.5-1build1) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose Mon, 23 Dec 2013 16:18:31 +0000 uuidm (0.9.5-1) unstable; urgency=low [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders [ Hendrik Tews ] * new upstream * added myself as uploader * bump standards version and debhelper compat level * add man page for uuidtrip -- Hendrik Tews Mon, 27 May 2013 09:41:06 +0200 uuidm (0.9.4-1) unstable; urgency=low * Team upload * New upstream release * Switch debian/copyright to format 1.0 * Switch source package format to 3.0 (quilt) * Bump Standards-Version to 3.9.3 * Bump debhelper compat level to 8 -- Stéphane Glondu Sun, 08 Apr 2012 17:46:21 +0200 uuidm (0.9.3-3) unstable; urgency=low * Use dh-ocaml 0.9 features * Upgrade Standards-Version to 3.8.3 (section ocaml) * Remove build-dependency on dpatch -- Sylvain Le Gall Tue, 03 Nov 2009 22:57:12 +0000 uuidm (0.9.3-2) unstable; urgency=low * Add a debian/gbp.conf to force using pristine-tar * Update debian/compat to level 7 * Add dh-ocaml build-dependency, use rules/ocaml.mk * Tighten dependency on ocaml-nox * Add ${misc:Depends} as dependency -- Sylvain Le Gall Tue, 03 Mar 2009 02:05:38 +0100 uuidm (0.9.3-1) unstable; urgency=low * Initial release. (Closes: #492727) -- Sylvain Le Gall Sat, 09 Aug 2008 20:29:19 +0000 debian/libuuidm-ocaml-dev.doc-base0000644000000000000000000000042012150627727014251 0ustar Document: uuidm Title: Uuidm API documentation Author: Daniel C. Bünzli Abstract: React ocamldoc-generated API documentation Section: Programming/OCaml Format: HTML Index: /usr/share/doc/libuuidm-ocaml-dev/html/index.html Files: /usr/share/doc/libuuidm-ocaml-dev/html/* debian/rules0000755000000000000000000000141412150627727010257 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/libuuidm-ocaml-dev.docs0000644000000000000000000000000712150627727013525 0ustar README debian/gbp.conf0000644000000000000000000000003612150627727010615 0ustar [DEFAULT] pristine-tar = True debian/libuuidm-ocaml-dev.install0000644000000000000000000000015612150627727014250 0ustar usr doc/*.html /usr/share/doc/libuuidm-ocaml-dev/html doc/*.css /usr/share/doc/libuuidm-ocaml-dev/html debian/libuuidm-ocaml-dev.manpages0000644000000000000000000000002212150627727014365 0ustar debian/uuidtrip.1 debian/control0000644000000000000000000000164412150627727010607 0ustar Source: uuidm Section: ocaml Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Hendrik Tews Build-Depends: debhelper (>= 9), ocaml-nox (>= 3.11), ocaml-findlib, dh-ocaml (>= 0.9.1) Standards-Version: 3.9.4 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/uuidm.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/uuidm.git Homepage: http://erratique.ch/software/uuidm Package: libuuidm-ocaml-dev Architecture: any Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends} Provides: ${ocaml:Provides} Suggests: ocaml-findlib Description: Universally unique identifiers for OCaml This library is an OCaml module implementing 128 bits universally unique identifiers (uuid) version 3, 5 (name based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122. . This package contains header and OCaml library. debian/copyright0000644000000000000000000000361012150627727011132 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Files: * Copyright: 2008, Daniel C. Bünzli License: BSD-C3 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: 2008, Sylvain Le Gall 2012, Stéphane Glondu 2013, Hendrik Tews License: GPL-2+ The Debian packaging is licensed under the GNU General Public License, see `/usr/share/common-licenses/GPL-2' for the full text. debian/source/0000755000000000000000000000000012150627727010477 5ustar debian/source/format0000644000000000000000000000001412150627727011705 0ustar 3.0 (quilt) debian/watch0000644000000000000000000000011312150627727010223 0ustar version=3 http://erratique.ch/software/uuidm/releases/uuidm-([0-9\.]*).tbz debian/compat0000644000000000000000000000000212150627727010375 0ustar 9 debian/uuidtrip.10000644000000000000000000000707312150627727011135 0ustar .\" Hey, EMACS: -*- nroff -*- .\" First parameter, NAME, should be all caps .\" Second parameter, SECTION, should be 1-8, maybe w/ subsection .\" other parameters are allowed: see man(7), man(1) .\" .\" test with nroff -man debian/uuidtrip.1 > /tmp/man.txt; less /tmp/man.txt .TH uuidtrip 1 "May 17, 2013" .\" Please adjust this date whenever revising the manpage. .\" .\" Some roff macros, for reference: .\" .nh disable hyphenation .\" .hy enable hyphenation .\" .ad l left justify .\" .ad b justify to both left and right margins .\" .nf disable filling .\" .fi enable filling .\" .br insert line break .\" .sp insert n+1 empty lines .\" for manpage-specific macros, see man(7) .SH NAME uuidtrip \- generate universally unique identifiers (RFC 4122) .SH SYNOPSIS .B uuidtrip \fR[\fIoptions...\fR] .\" .\" ========================================================================== .\" ============= DESCRIPTION ================================================ .\" ========================================================================== .\" .SH DESCRIPTION .B uuidtrip generates and prints universally unique identifiers version 3, 5 (name based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122. .B uuidtrip provides command line access for most functions of the UUIDM library. .\" .\" ========================================================================== .\" ================ Options ================================================= .\" ========================================================================== .\" .SH OPTIONS .\" ========== -r output a random based UUID version 4 (default). .IP "-r" Generate a random based UUID version 4. This is the default. .\" ========== -ns namespace UUID for name based UUIDs .IP "-ns \fIuuid\fR" set the name space for version 3 and version 5 name based UUID's (options .B -md5 and .B -sha1\fR). The default is the DNS namespace. .\" ========== -name name for name based UUIDs .IP "-name \fIname\fR" set the name for version 3 and version 5 name based UUID's (options .B -md5 and .B -sha1\fR). The default is .I www.example.org\fR. .\" ========== -md5 output a MD5 name based UUID version 3. .IP "-md5" Generate an MD5 name based UUID version 3. .\" ========== -sha1 output a SHA-1 name based UUID version 5. .IP "-sha1" Generate an SHA-1 name based UUID version 5. .\" ========== -u output hexadecimal letters in uppercase. .IP "-u" Output the generated UUID as string with uppercase letters (default is lowercase letters). .\" ========== -b output result in binary. .IP "-b" Output the generated UUID as raw bytes (binary). .\" ========== -help Display this list of options .IP "-help" Print the list of options and exit .\" ================ --help ================================================== .IP --help Alias for .B -help .\" .\" ========================================================================== .\" ================ SEE ALSO ================================================ .\" ========================================================================== .\" .SH SEE ALSO .TP RFC 4122 .TP API documentation at \fI/usr/share/doc/libuuidm-ocaml-dev/html/ .\" .\" ========================================================================== .\" ================ Author ================================================== .\" ========================================================================== .\" .SH AUTHOR This manual page was written by Hendrik Tews , specifically for the Debian project (and may be used by others).