Viewing all changes in revision 2.1.7.
- Committer: Package Import Robot
- Date: 2013-04-10 10:30:20 UTC
- mfrom: (1.1.5)
- mto: This revision was merged to the branch mainline in revision 11.
- Revision ID: package-import@ubuntu.com-20130410103020-bzka1xk2g3cq6a1e
* [6d52289] Imported Upstream version 0.7
* [54104d0] Update Depends and Build-Depends for this version, compatible
with Agda 2.3.2
* [b3ddce4] No need for the .install file to be executable (thanks lintian)
* [a9a6cb7] Standards-Version → 3.9.4, no changes required
* [54104d0] Update Depends and Build-Depends for this version, compatible
with Agda 2.3.2
* [b3ddce4] No need for the .install file to be executable (thanks lintian)
* [a9a6cb7] Standards-Version → 3.9.4, no changes required
- files added:
- .pc
- src/Category/Monad/Partiality
- files modified:
- Everything.agda
- debian/agda-stdlib.install *
expand all
collapse all
added
removed
