gringo 3.0.3-6 source package in Debian
Changelog
gringo (3.0.3-6) unstable; urgency=low
* control: Setup as Debian Science project.
- Set Maintainer to Debian Science Maintainers and Uploaders to Thomas
Krennwallner.
- Set DM-Upload-Allowed to yes.
- Convert bzr repository to git and use Vcs-Git and Vcs-Browser
accourdingly.
- Build-Depends on debhelper >= 8.0.0.
* rules: Add override_dh_auto_build to get rid off
gringo-makefile.patch.
* patches/gringo-makefile.patch,patches/series: Remove
gringo-makefile.patch.
-- Thomas Krennwallner <email address hidden> Mon, 05 Sep 2011 13:21:51 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gringo_3.0.3-6.dsc | 1.3 KiB | 40d5ad52ba2b94cca9450bac04b08cd915455e62b9bad5316811f504f83a68b3 |
| gringo_3.0.3.orig.tar.gz | 524.6 KiB | 79e31fbfb1967496a0b3ce391caa86b931d7b74bb22fd822140c2ec0e320cab9 |
| gringo_3.0.3-6.debian.tar.gz | 6.7 KiB | db0633d66b6b87588a2b7d4b7d103d245e003436fc7cb4ea17432a1eb51ed60f |
No changes file available.
