diff options
| author | Peter Simons <simons@cryp.to> | 2016-06-07 14:06:54 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2016-06-07 14:06:54 +0200 |
| commit | ae1e12f72550b0fc01159a3493e7a56d99a668cb (patch) | |
| tree | 07a75e7a219a028d5478e1c799f1617dcdd9cb8f /pkgs/top-level | |
| parent | 0264d340580ceb6f209ee9027bbaa2403cf0252c (diff) | |
| parent | 28f4f157770bae0256ecf29c1058ac5336d54541 (diff) | |
| download | nixlib-ae1e12f72550b0fc01159a3493e7a56d99a668cb.tar nixlib-ae1e12f72550b0fc01159a3493e7a56d99a668cb.tar.gz nixlib-ae1e12f72550b0fc01159a3493e7a56d99a668cb.tar.bz2 nixlib-ae1e12f72550b0fc01159a3493e7a56d99a668cb.tar.lz nixlib-ae1e12f72550b0fc01159a3493e7a56d99a668cb.tar.xz nixlib-ae1e12f72550b0fc01159a3493e7a56d99a668cb.tar.zst nixlib-ae1e12f72550b0fc01159a3493e7a56d99a668cb.zip | |
Merge pull request #16038 from laMudri/Agda-fixed-3
Agda: 2.4 -> 2.5.1 (new)
Diffstat (limited to 'pkgs/top-level')
0 files changed, 0 insertions, 0 deletions