diff options
author | John Wiegley <johnw@newartisans.com> | 2014-11-01 04:39:56 -0500 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2014-11-03 10:49:38 -0600 |
commit | 2b9e43b513bb2c85eb59826b32ab3eba565d5a0c (patch) | |
tree | bd7031cdf18d1a3f46da8a4411d8d81e77a3e88e /pkgs/applications/editors | |
parent | 2d47366e4c0e3ec30dd69fcff791bfd2698dde66 (diff) | |
download | nixlib-2b9e43b513bb2c85eb59826b32ab3eba565d5a0c.tar nixlib-2b9e43b513bb2c85eb59826b32ab3eba565d5a0c.tar.gz nixlib-2b9e43b513bb2c85eb59826b32ab3eba565d5a0c.tar.bz2 nixlib-2b9e43b513bb2c85eb59826b32ab3eba565d5a0c.tar.lz nixlib-2b9e43b513bb2c85eb59826b32ab3eba565d5a0c.tar.xz nixlib-2b9e43b513bb2c85eb59826b32ab3eba565d5a0c.tar.zst nixlib-2b9e43b513bb2c85eb59826b32ab3eba565d5a0c.zip |
coq: 8.4pl4 -> 8.4pl5
Diffstat (limited to 'pkgs/applications/editors')
0 files changed, 0 insertions, 0 deletions