nixpkgs
ab606452 - coq.autosubst: 1.8 -> 1.9
Commit
View On GitHub
Commit
1 year ago
coq.autosubst: 1.8 -> 1.9
Author
jthulhu jthulhu
Committer
vbgl vbgl
Parents
56501da6
FAQ Terms Privacy Refunds Impressum
Loading