lp:ubuntu/utopic/agda-stdlib
- Get this branch:
- bzr branch lp:ubuntu/utopic/agda-stdlib
Branch merges
Branch information
- Owner:
- Ubuntu branches
- Status:
- Mature
Recent revisions
- 10. By Iain Lane
-
* [4ca6fd0] Update debian/watch to fetch tarballs from github
* [84d4313] Imported Upstream version 0.8
* [7b08243] debian/control: Require agda 2.4.x per upstream
* [37e7e10] debian/control: Standards-Version → 3.9.5, no changes required.
* [9051b9d] Run upstream's "GenerateEverything" script - 8. By Joachim Breitner
-
* Relax agda dependency a bit to allow for minor releases
* Add the Debian Haskell Group as uploaders, by Iains suggestion - 7. By Iain Lane
-
* [a88bdc0] Imported Upstream version 0.6
* [7aea5f2] Update copyright for new copyright holders and for new DEP5 - 6. By Iain Lane
-
* [ef445ab] Imported Upstream version 0.6~darcs201111
29t1640
+ Darcs snapshot required for Agda 2.3.0 compatibility
* [f801f83] Update BDs and deps to require Agda 2.3.0
* [c52be90] Use 3.0 (quilt) for bz2 orig - 5. By Iain Lane
-
* [9251e0b] Imported Upstream version 0.5
* [ba20206] Make package architecture independent (Closes: #573807, #598708,
#599958)
* [2c82171] Add watch file
* [0518fa6] No longer need procps | hurd BD as we no longer have the ticker
* [daf2445] Don't use upstream's make install — handled ourselves by
dh_install
* [1b86533] Update watchfile to point at new location
* [637f47d] Remove debian/gbp.conf as we are no longer building for exp
* [cc88671] Require Agda 2.2.10
* [e99dab5] Set maximum stack size to 1G to prevent overflows in the build
* [251cd1d] Run the test suite manually
* [a7db697] Set the variable in the emacs loading script properly
* [540ca3f] Improve short description
* [6b3e794] Add dependencies on compatible versions of the Agda library
* [7127678] Standards-Version bump to 3.9.2, no changes required
* [9d0ae30] Update to use ghc instead of ghc6
* [3f6879a] Set Maintainer to my d.o email address - 4. By Marco Tulio Gontijo e Silva
-
[ Iain Lane ]
debian/control: Add missing procps | hurd build-dep so that ps is available
to run the ticker. - 3. By Marco Tulio Gontijo e Silva
-
[ Iain Lane ]
* 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 because upstream's buildsys invokes
runhaskell, which isn't available everywhere. (Closes: #569262)
* 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.
* debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
timeouts on some slow architectures.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:ubuntu/vivid/agda-stdlib