Viewing all changes in revision 4.
- Committer: Bazaar Package Importer
- Date: 2010-01-18 16:56:43 UTC
- mfrom: (1.1.2 upstream)
- Revision ID: james.westby@ubuntu.com-20100118165643-go0w2p2w3f7tmz0n
* debian/control: Add Recommends on libghc6-agda-dev. This is required for
Agda.css to be available which is needed to build HTML docs.
* [3919b0b] Add gbp.conf to correctly build for experimental branch
* [d2892dd] Imported Upstream version 2.2.8
* [0964a2c] Update agda build-depends to version 2.2.8
Agda.css to be available which is needed to build HTML docs.
* [3919b0b] Add gbp.conf to correctly build for experimental branch
* [d2892dd] Imported Upstream version 2.2.8
* [0964a2c] Update agda build-depends to version 2.2.8
- files added:
- debian/gbp.conf
- files modified:
- Agda-executable.cabal
expand all
collapse all
added
removed
