~ubuntu-branches/ubuntu/wily/agda-stdlib/wily

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2015-05-20 12:33:35 UTC
  • mfrom: (1.1.7)
  • Revision ID: package-import@ubuntu.com-20150520123335-glif8evqqkc7uknn
Tags: 0.9-1
* [b306254] Imported Upstream version 0.9
* [bb746af] Bump BDs and deps to ≥ 2.4.2.2
Filename Latest Rev Last Changed Committer Comment Size
..
.quilt_patches 8.1.1 11 years ago Package Import Robot * [6d52289] Imported Upstream version 0.7 * [54104 15 bytes Diff Download File
.quilt_series 8.1.1 11 years ago Package Import Robot * [6d52289] Imported Upstream version 0.7 * [54104 7 bytes Diff Download File
.version 8.1.1 11 years ago Package Import Robot * [6d52289] Imported Upstream version 0.7 * [54104 2 bytes Diff Download File
applied-patches 8.1.1 11 years ago Package Import Robot * [6d52289] Imported Upstream version 0.7 * [54104 Empty Diff Download File