agda 2.2.6-3 source package in Ubuntu
Changelog
agda (2.2.6-3) unstable; urgency=low
[ Iain Lane ]
* debian/rules, debian/watcher.sh: Add a ticker to the build to prevent
timeouts on some arches. This was taken from the GHC6 source package and
modified a bit to add some rudimentary locking. Previously the build was
timing out on some slow arches (armel, mips*) but does actually make
progress and complete when given enough time
* debian/control:
+ Add field ${haskell:Provides} to -dev and -prof packages in preparation
the upcoming GHC6/haskell-devscripts uploads into unstable
+ Standards-Version bump to 3.8.4, no changes required
[ Marco Túlio Gontijo e Silva ]
* debian/control: Remove unneeded Build-Depends: on libghc6-utf8-
string-*.
* debian/control: Bump version of haskell-devscripts on Build-Depends
to 0.7. Remove versioned Build-Depends: of ghc6* and remove
hscolour and haddock from Build-Depends:.
* debian/control: Split Build-Depends in Buid-Depends-Indep:.
* debian/control: Use all haskell: variables.
* debian/watch: Use format that downloads current version and checks
for new versions.
-- Iain Lane <email address hidden> Thu, 04 Mar 2010 14:16:32 +0000
Upload details
- Uploaded by:
- Iain Lane
- Uploaded to:
- Lucid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.2.6.orig.tar.gz | 414.4 KiB | 19ecdd8e25c3eb3f8903ca8ef4057ba71fd49cfbc9ee2bbc44feba2c1566864e |
| agda_2.2.6-3.diff.gz | 5.2 KiB | dd4c138d351991e805615737e21728ef02ac521623370000610402e32def6fd5 |
| agda_2.2.6-3.dsc | 2.7 KiB | e2c0511e2146ad0bc5e78ac73a94df8391411c6e89c0feee751b7c840dbf27cd |
Available diffs
- diff from 2.2.6-2ubuntu1 to 2.2.6-3 (2.5 KiB)
Binary packages built by this source
- agda-mode: No summary available for agda-mode in ubuntu maverick.
No description available for agda-mode in ubuntu maverick.
- haskell-agda-doc: No summary available for haskell-agda-doc in ubuntu lucid.
No description available for haskell-agda-doc in ubuntu lucid.
- libghc6-agda-dev: No summary available for libghc6-agda-dev in ubuntu lucid.
No description available for libghc6-agda-dev in ubuntu lucid.
- libghc6-agda-prof: No summary available for libghc6-agda-prof in ubuntu maverick.
No description available for libghc6-agda-prof in ubuntu maverick.
