Viewing all changes in revision 11.
- Committer: Package Import Robot
- Date: 2013-04-10 10:30:20 UTC
- mfrom: (2.1.7 experimental)
- Revision ID: package-import@ubuntu.com-20130410103020-bcspfz3whyy5iafu
* [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
