Coq

  1. Git
  2. lp:~jgross-h/coq/+git/coq
  3. v8.18
  4. Source Package Recipes for ~jgross-h/...
Name Owner Registered
coq-8.18-daily Jason Gross 2023-10-29 22:51:07 UTC
coq-8.18-daily-coqide-no Jason Gross 2023-10-29 22:52:35 UTC