rpm/coq
SHA256
1
0
Fork 0
forked from pool/coq
Code Pull Requests Activity
71 Commits 2 Branches 0 Tags 233 KiB

Default Branch

factory

ea92abb9c6 · Accepting request 1199381 from science · Updated 2024-09-09 14:44:11 +02:00
 ZIP  TAR.GZ

Branches

devel

9c22c89df3 · - Update to version 8.20.0. The most impactful changes are: · Updated 2024-09-07 17:01:23 +02:00    dirkmueller

70
0
 Included
 ZIP  TAR.GZ