kylefang/asdf-plugins
1
0
Fork 0
mirror of https://github.com/placeholder-soft/asdf-plugins.git synced 2026-01-12 22:44:54 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
bda7ef9320c1111e8ad0fe3dec9e26e74b3959cd
asdf-plugins/plugins/coq
B1nj0y 0ab2b2ec85 add coq plugin 
add coq plugin git repo address
2018-02-28 14:03:00 -06:00

2 lines
55 B
Plaintext
Raw Blame History

repository = https://github.com/gingerhot/asdf-coq.git
Reference in New Issue View Git Blame Copy Permalink