This website requires JavaScript.
Explore
Help
Register
Sign In
saret
/
winget-pkgs
Watch
1
Star
0
Fork
0
You've already forked winget-pkgs
Code
Issues
Pull Requests
Releases
Wiki
Activity
Files
a8b59a928b0f1b73550cdb2ac4c572bc81b0ac0c
winget-pkgs
/
manifests
/
c
/
Coq
/
CoqPlatform
History
Luis Chacón
f848b02104
Coq.CoqPlatform version 2021.02.1 (
#11075
)
2021-04-19 20:33:48 +00:00
..
2021.02.1
Coq.CoqPlatform version 2021.02.1 (
#11075
)
2021-04-19 20:33:48 +00:00
