diff options
author | Peter Hoeg <peter@hoeg.com> | 2017-06-06 15:36:13 +0800 |
---|---|---|
committer | Peter Hoeg <peter@hoeg.com> | 2018-03-20 12:21:20 +0800 |
commit | c79cc60e643ecace48ca207d39fc61b04126e572 (patch) | |
tree | 1941706b3d406f7b96ef8ae2a1c460a3457edd23 /pkgs/development/coq-modules | |
parent | 543210751f46a4787fd0a5ef4c3bfa9a4b789e3c (diff) | |
download | nixlib-c79cc60e643ecace48ca207d39fc61b04126e572.tar nixlib-c79cc60e643ecace48ca207d39fc61b04126e572.tar.gz nixlib-c79cc60e643ecace48ca207d39fc61b04126e572.tar.bz2 nixlib-c79cc60e643ecace48ca207d39fc61b04126e572.tar.lz nixlib-c79cc60e643ecace48ca207d39fc61b04126e572.tar.xz nixlib-c79cc60e643ecace48ca207d39fc61b04126e572.tar.zst nixlib-c79cc60e643ecace48ca207d39fc61b04126e572.zip |
elisa: init at 0.0.20180320
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions