diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-16 06:14:41 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-18 15:30:36 +0000 |
commit | 4c454a320886751115a6c03764f407d8079ef886 (patch) | |
tree | 8aafe9332e6db39540e6622e7c2dc0dd1b1fe67e /doc/languages-frameworks/coq.xml | |
parent | d9f41a5bcee2f81c851bb060d287f6bc80986973 (diff) | |
download | nixlib-4c454a320886751115a6c03764f407d8079ef886.tar nixlib-4c454a320886751115a6c03764f407d8079ef886.tar.gz nixlib-4c454a320886751115a6c03764f407d8079ef886.tar.bz2 nixlib-4c454a320886751115a6c03764f407d8079ef886.tar.lz nixlib-4c454a320886751115a6c03764f407d8079ef886.tar.xz nixlib-4c454a320886751115a6c03764f407d8079ef886.tar.zst nixlib-4c454a320886751115a6c03764f407d8079ef886.zip |
coq: minor cleaning
Diffstat (limited to 'doc/languages-frameworks/coq.xml')
0 files changed, 0 insertions, 0 deletions