agda-stdlib 0.3-1ubuntu1 source package in Ubuntu
Changelog
agda-stdlib (0.3-1ubuntu1) lucid; urgency=low
* Upload to Lucid. Cannot immediately upload to sid as agda is tied up in a
GHC transition taking place.
* debian/control: Fix short descriptions (too long, one said "profiling"
instead of "documentation")
* debian/rules, debian/control: No need to use upstream's buildsys. This only
builds Everything.agda which is already included in the distribution
anyway. Also trim GHC and filepath from build-deps as these aren't needed
now. This bypassing is required becuase upstream's buildsys invokes
runhaskell, which isn't available everywhere.
* debian/rules: Disable upstream tests for the same reason as above. We
typecheck the same file, README.agda, to generate the documentation
anyway so this has no negative effect.
agda-stdlib (0.3-1) unstable; urgency=low
* Initial release. (Closes: #522914)
-- Iain Lane <email address hidden> Wed, 10 Feb 2010 10:45:04 +0000
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda-stdlib_0.3.orig.tar.gz | 149.7 KiB | 6761d21659ef90cedf039290d8bda3ffb252575fb3e0bb67e6f783f65bb161b3 |
| agda-stdlib_0.3-1ubuntu1.diff.gz | 3.0 KiB | 2763496fa5ee5e9323cd2602b356bf2de0d91866f047bc9d638b9a4a1979a9c3 |
| agda-stdlib_0.3-1ubuntu1.dsc | 1.3 KiB | 37145f7da455d48bd729cf303ad890e741a0311a2713a3b1f9b96a2387e89c23 |
Binary packages built by this source
- agda-stdlib: No summary available for agda-stdlib in ubuntu lucid.
No description available for agda-stdlib in ubuntu lucid.
- agda-stdlib-doc: No summary available for agda-stdlib-doc in ubuntu lucid.
No description available for agda-stdlib-doc in ubuntu lucid.
