diff options
author | John Wiegley <johnw@newartisans.com> | 2019-01-31 11:55:28 -0800 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2019-01-31 11:56:07 -0800 |
commit | 7239ffcc3c2b24b2b8505fef865dfc10e35b0593 (patch) | |
tree | 735e36716d2ffce270d9d06d5b77eadf1e2d52ae /pkgs/tools/misc/lf/default.nix | |
parent | 8020bd6869032e65a55428fa04f2efb81af1e9df (diff) | |
download | nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar.gz nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar.bz2 nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar.lz nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar.xz nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar.zst nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.zip |
coqPackages.equations: 1.2-beta-8.9 for coq_8_9
Diffstat (limited to 'pkgs/tools/misc/lf/default.nix')
0 files changed, 0 insertions, 0 deletions