jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
void-packages/srcpkgs/coq
History
Leah Neukirchen 33f6935888 coq: update to 8.8.2. 
Adopted.
2018-10-11 11:49:14 +02:00
..
template