debian/0000755000000000000000000000000011303056443007165 5ustar debian/changelog0000644000000000000000000000501211303056107011032 0ustar mathpartir (1.2.0-3) unstable; urgency=low * Convert to source-format 3.0 (quilt) - debian/patches quilt style - drop build-dependency on dpatch - no more patching in debian/rules * Standards-version 3.8.3 (no change) * Debhelper compatibility level 7 * Fixed typo in long package descripion (closes: #557686) * debian/rules: "dh_clean -k" => "dh_prep" * debian/copyright: point to versionend GPL-2 file * changed doc-base section to typesetting -- Ralf Treinen Tue, 24 Nov 2009 23:20:55 +0100 mathpartir (1.2.0-2) unstable; urgency=low * Removed bashism in debian/rules (closes: Bug#484405). * Added Homepage field to debian/control, removed from package description. * Standards-version 3.7.3 (no change) * Converted debian/copyright to utf8 * Do not create /usr/share/hevea * Removed spurious whitespace from doc-base file. -- Ralf Treinen Wed, 04 Jun 2008 22:13:43 +0200 mathpartir (1.2.0-1) unstable; urgency=low * Renamed upstream version to 1.2.0 to follow upstream versioning (but it is the same as 1.2) * Dropped dependency on tetex -- Ralf Treinen Sun, 15 Apr 2007 09:33:53 +0200 mathpartir (1.2-1) experimental; urgency=low * New upstream release, solves a minor glitch in the copyright note (closes: Bug#350656). * Standards-Version 3.7.2 (no change). * Do not install mathpartir.hva (it is no longer in this package but is now distributed with the hevea package). * Dependency on tex: now alternative tetex-bin or texlive-latex-base * Turn Build-Depends-Indep on debhelper, dpatch into Build-Depends. * debian/copyright: specify copyright holder. * debian/mathpartir.doc-base: fix abstract. * Use dh_installtex instead of hand-rolled postinst/postrm. As a consequence Build-Depend on tex-common, and Depend on ${misc:Depends}. -- Ralf Treinen Tue, 13 Mar 2007 22:34:51 +0100 mathpartir (1.1.1-2) unstable; urgency=low * Acknowledge NMU of 1.1.1-1.1 (thanks, Julian!) -- Ralf Treinen Thu, 30 Dec 2004 15:34:57 +0100 mathpartir (1.1.1-1.1) unstable; urgency=low * Install documentation (.dvi,.tex) in /usr/share/doc/texmf instead of /usr/share/texmf/doc (closes: Bug#285144) * NMU Upload with maintainer's blessing -- Julian Gilbey Tue, 14 Dec 2004 10:40:52 +0000 mathpartir (1.1.1-1) unstable; urgency=low * Initial Release (closes: Bug#241359). -- Ralf Treinen Sun, 14 Nov 2004 21:31:44 +0100 debian/source/0000755000000000000000000000000011303054323010460 5ustar debian/source/format0000644000000000000000000000001411303056550011672 0ustar 3.0 (quilt) debian/rules0000755000000000000000000000155011303055106010241 0ustar #!/usr/bin/make -f # debian/rules for mathpartir #export DH_VERBOSE=1 INST=debian/mathpartir build: dh_testdir hevea -fix mathpartir.tex clean: dh_testdir dh_testroot dh_clean -rm -f mathpartir.html mathpartir.htoc mathpartir.haux install: build dh_testdir dh_testroot dh_prep dh_installdirs cp mathpartir.sty $(INST)/usr/share/texmf/tex/latex/mathpartir cp mathpartir.tex $(INST)/usr/share/doc/texmf/latex/mathpartir gzip mathpartir.dvi --stdout > \ $(INST)/usr/share/doc/texmf/latex/mathpartir/mathpartir.dvi.gz binary-arch: build install binary-indep: build install dh_testdir dh_testroot dh_installchangelogs dh_installdocs mathpartir.html dh_installtex dh_compress dh_fixperms dh_link dh_installdeb dh_gencontrol dh_md5sums dh_builddeb binary: binary-indep binary-arch .PHONY: build clean binary-indep binary-arch binary install debian/mathpartir.links0000644000000000000000000000014410575606756012423 0ustar /usr/share/doc/texmf/latex/mathpartir/mathpartir.dvi.gz /usr/share/doc/mathpartir/mathpartir.dvi.gz debian/copyright0000644000000000000000000000110111303055365011113 0ustar This package was debianized by Ralf Treinen on Sun, 14 Nov 2004 21:31:44 +0100. It was downloaded from http://pauillac.inria.fr/~remy/latex/index.html#tir Copyright: 2001, 2002, 2003, 2004, 2005 Didier Rémy Upstream Author: Didier Remy License: You are free to distribute this software under the terms of the GNU General Public License; version 2, or (at your option) any later version. On Debian systems, the complete text of the GNU General Public License version 2 can be found in the /usr/share/common-licenses/GPL-2 file. debian/patches/0000755000000000000000000000000011303056550010613 5ustar debian/patches/doc-hevea0000644000000000000000000000127011303054265012372 0ustar Author: Ralf Treinen Description: Adding warning of the non-accuracy of the HTML documentation ` --- mathpartir-1.2~/mathpartir.tex 2007-03-13 21:50:08.000000000 +0100 +++ mathpartir-1.2/mathpartir.tex 2007-03-13 21:57:11.000000000 +0100 @@ -78,6 +78,15 @@ \end{abstract} \ifhevea +\section{Note} + +\textit{This HTML version of the documentation can only partially + demonstrate the behavior of this package. Please refer to the + documentation in DVI format to see how the macros of this package + behave when typesetting under width constraints.} +\fi + +\ifhevea \section {License} Mathpartir is Copyright (C) 2001, 2002 INRIA. Mathpartir has been developed debian/patches/series0000644000000000000000000000001211303054140012012 0ustar doc-hevea debian/dirs0000644000000000000000000000011211021573605010044 0ustar usr/share/texmf/tex/latex/mathpartir usr/share/doc/texmf/latex/mathpartir debian/compat0000644000000000000000000000000211303054555010365 0ustar 7 debian/control0000644000000000000000000000106511303054701010565 0ustar Source: mathpartir Section: tex Priority: optional Maintainer: Ralf Treinen Build-Depends: debhelper (>= 7.0), tex-common Build-Depends-Indep: hevea Standards-Version: 3.8.3 Homepage: http://pauillac.inria.fr/~remy/latex/index.html#mathpartir Package: mathpartir Architecture: all Depends: ${misc:Depends}, texlive-latex-base Description: LaTeX macros for typesetting inference rules This package contains LaTeX macros for * typesetting a sequence of math formulas in mixed horizontal and vertical mode * typesetting inference rules debian/mathpartir.doc-base0000644000000000000000000000063611303056433012743 0ustar Document: mathpartir Title: Mathpartir Manual Author: Didier Remy Abstract: This manual describes the mathpartir LaTeX macros and how they can be used to typeset mathematical formulas and inference rules. Section: Typesetting Format: HTML Index: /usr/share/doc/mathpartir/mathpartir.html Files: /usr/share/doc/mathpartir/mathpartir.html Format: DVI Files: /usr/share/doc/texmf/latex/mathpartir/mathpartir.dvi.gz