Loading debian/changelog +4 −0 Original line number Diff line number Diff line maude (2.7.1-1) UNRELEASED; urgency=medium [ Andreas Tille ] * New upstream version * Fix watch file * debhelper 11 Loading @@ -9,6 +10,9 @@ maude (2.7.1-1) UNRELEASED; urgency=medium * Avoid parallel build * export DEB_CXXFLAGS_MAINT_APPEND=-fpermissive (thanks to Dan Kegel) [ Jelmer Vernooij ] * Use secure copyright file specification URI. -- Andreas Tille <tille@debian.org> Fri, 03 Aug 2018 16:04:54 +0200 maude (2.7-2) unstable; urgency=medium Loading debian/copyright +1 −1 Original line number Diff line number Diff line Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: maude Upstream-Contact: Steven Eker <eker@csl.sri.com> Source: http://maude.uc.uiuc.edu/ Loading Loading
debian/changelog +4 −0 Original line number Diff line number Diff line maude (2.7.1-1) UNRELEASED; urgency=medium [ Andreas Tille ] * New upstream version * Fix watch file * debhelper 11 Loading @@ -9,6 +10,9 @@ maude (2.7.1-1) UNRELEASED; urgency=medium * Avoid parallel build * export DEB_CXXFLAGS_MAINT_APPEND=-fpermissive (thanks to Dan Kegel) [ Jelmer Vernooij ] * Use secure copyright file specification URI. -- Andreas Tille <tille@debian.org> Fri, 03 Aug 2018 16:04:54 +0200 maude (2.7-2) unstable; urgency=medium Loading
debian/copyright +1 −1 Original line number Diff line number Diff line Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: maude Upstream-Contact: Steven Eker <eker@csl.sri.com> Source: http://maude.uc.uiuc.edu/ Loading