agda 2.2.6-2 source package in Ubuntu
Changelog
agda (2.2.6-2) unstable; urgency=low
* debian/control: Set priority to extra per archive overrides
* debian/copyright: Update upstream source to a more generic location
* debian/rules, debian/libghc6-agda-dev.install: Install Agda.css, needed
to generate HTML documentation.
agda (2.2.6-1) unstable; urgency=low
* New upstream release 2.2.6, for headlines please see:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6
* debian/control
+ Bump standards-version to 3.8.3, no changes
+ Fix Vcs-Git to point to correct URL
+ Update build-depends for new upstream release
+ Undo arch/indep split per current pkg-haskell practice
+ Add Homepage field
* debian/copyright: Fix encoding to UTF-8 (thanks Lintian)
* debian/README.source: Remove, no repacking so not necessary any more
* debian/50agda.el:
+ Only load file if it exists, prevents a non-intrusive emacs warning
where 50agda.el is left on system when package is removed.
(Closes: #559197).
+ Do not load file on XEmacs — agda-mode is not compatible with XEmacs.
-- Ilya Barygin <email address hidden> Tue, 02 Feb 2010 21:16:12 +0000
Upload details
- Uploaded by:
- Ilya Barygin
- 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-2.diff.gz | 4.2 KiB | 6ea58e5f6a9da20dc574d84e5a10971f1fca35a18fe0506d0ed8f3ec5bf1ccc3 |
| agda_2.2.6-2.dsc | 3.1 KiB | f8d3619dccaaf41a6b1df44cede0f410c9e5bf7ee105eca5a1be1062ba016dfa |
Available diffs
- diff from 2.2.4+dfsg-1 to 2.2.6-2 (204.9 KiB)
Binary packages built by this source
- agda-mode: No summary available for agda-mode in ubuntu lucid.
No description available for agda-mode in ubuntu lucid.
- 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 lucid.
No description available for libghc6-agda-prof in ubuntu lucid.
