debian/0000755000000000000000000000000012225662403007170 5ustar debian/README.source0000644000000000000000000000043312225635522011351 0ustar erlang-proper source package infomation - Remove from rebar bianry from source code. Erlang-proper's original source codes contains rebar binary. The source package of Debian has deleted this binary. -- Nobuhiro Iwamatsu Tue, 02 Oct 2012 13:12:25 +0900 debian/compat0000644000000000000000000000000212225635522010370 0ustar 9 debian/changelog0000644000000000000000000000254112225636427011053 0ustar erlang-proper (1.1+dfsg-1) unstable; urgency=low * Update to 1.1. * Remove patches/0001-Update-Makefile.-Change-to-use-rebar-of-system.patch. -- Nobuhiro Iwamatsu Fri, 11 Oct 2013 08:42:44 +0900 erlang-proper (1.0+20120524+dfsg-5) unstable; urgency=low * Update debian/control. - Add dh-rebar to Build-Depends. * Update debian/rules. - Changed to use dh-rebar. * Add debian/watch. -- Nobuhiro Iwamatsu Mon, 19 Aug 2013 21:22:40 +0900 erlang-proper (1.0+20120524+dfsg-3) unstable; urgency=low * Fix FTBFS when not builing -doc package. (Closes: #716980) -- Nobuhiro Iwamatsu Tue, 16 Jul 2013 04:42:30 +0900 erlang-proper (1.0+20120524+dfsg-2) unstable; urgency=low * Update debian/control. - Add Vcs-Git field and Vcs-Browser field. - Add erlang-edoc to Build-Depends. - Add erlang-proper-doc package. * Add edoc to erlang-proper-dev. (Closes: #701813) * Update debian/rules. - Build edoc. - Change call "rebar clean" instead of make clean. - Remove verbose option from from erlang-depends. -- Nobuhiro Iwamatsu Thu, 04 Jul 2013 12:53:36 +0900 erlang-proper (1.0+20120524+dfsg-1) unstable; urgency=low * Initial release. (Closes: #689388) -- Nobuhiro Iwamatsu Thu, 02 Aug 2012 12:38:43 +0900 debian/source.lintian-overrides0000644000000000000000000000006612225635522014054 0ustar source: debian-rules-ignores-make-clean-error line 14 debian/dh-rebar.conf0000644000000000000000000000015012225637765011534 0ustar EXEC_REBAR_COMMANDS=compile PKG_NAME= PKG_VARSION= #REBAR_LIB_DIR= #REBAR_BIN_DIR= #REBAR_INCLUDE_DIR= debian/source/0000755000000000000000000000000012225635522010472 5ustar debian/source/format0000644000000000000000000000001412225635522011700 0ustar 3.0 (quilt) debian/erlang-proper-doc.docs0000644000000000000000000000000412225635522013356 0ustar doc debian/watch0000644000000000000000000000024612225635522010225 0ustar version=3 opts=filenamemangle=s/.+\/v?(\d\S*)\.tar\.gz/proper-$1.tar.gz/,dversionmangle=s/\+dfsg// \ https://github.com/manopapad/proper/tags .*/v?(\d\S*)\.tar\.gz debian/control0000644000000000000000000000334312225635522010600 0ustar Source: erlang-proper Maintainer: LeoFS maintainers team Uploaders: Taku YASUI , Nobuhiro Iwamatsu Section: devel Priority: optional Standards-Version: 3.9.4 Homepage: https://github.com/manopapad/proper Vcs-Git: git://anonscm.debian.org/pkg-leofs/erlang-proper.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-leofs/erlang-proper.git;a=summary Build-Depends: debhelper (>= 9), dpkg-dev (>= 1.16.1~), erlang-dev (>= 1:13.b.4), erlang-eunit, erlang-edoc, dh-rebar Package: erlang-proper Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, erlang-base-hipe | erlang-base | ${erlang-abi:Depends}, ${erlang:Depends} Description: QuickCheck-inspired property-based testing tool for Erlang PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang. Package: erlang-proper-dev Architecture: any Depends: ${misc:Depends}, ${shlibs:Depends}, erlang-proper (>= ${source:Version}) Description: QuickCheck-inspired property-based testing tool for Erlang - development files PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang. . This package includes erlang-proper headers which are necessary to build Erlang applications which use erlang-proper. Package: erlang-proper-doc Architecture: all Section: doc Suggests: erlang-proper-dev Depends: ${misc:Depends} Description: QuickCheck-inspired property-based testing tool for Erlang - document files PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang. . This package includes erlang-proper documents. debian/copyright0000644000000000000000000000240212225635522011123 0ustar Format: Format: http://dep.debian.net/deps/dep5 Name: proper Maintainer: Nobuhiro Iwamatsu Source: https://github.com/manopapad/proper.git Files: * Copyright: Copyright 2010 - 2012 Manolis Papadakis Copyright 2010 - 2012 Eirini Arvaniti Copyright 2010 - 2012 Kostis Sagonas License: GPL-3+ Files: debian/* Copyright: Copyright 2012, Nobuhiro Iwamatsu License: GPL-3+ License: GPL-3+ This package 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 3 of the License, or (at your option) any later version. . This package 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, see . On Debian systems, the complete text of the GNU General Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". debian/rules0000755000000000000000000000074212225635522010255 0ustar #!/usr/bin/make -f %: dh $@ --buildsystem=rebar --with rebar override_dh_auto_build: dh_auto_build ./make_doc override_dh_auto_clean: dh_auto_clean rm -f include/compile_flags.hrl override_dh_installdocs-indep: dh_installdocs mv $(CURDIR)/debian/erlang-proper-doc/usr/share/doc/erlang-proper-doc/doc \ $(CURDIR)/debian/erlang-proper-doc/usr/share/doc/erlang-proper-doc/edoc rm -rf $(CURDIR)/debian/erlang-proper-doc/usr/share/doc/erlang-proper-doc/edoc/overview.edoc