Searched 15231 packages found 3 for coq
| Packages | Branches |
|---|---|
coq
May 01, 2024 |
stable8.19.1-1 testing8.19.1-2 unstable8.19.1-2 |
|
coq-doc
May 01, 2024 |
stable8.19.1-1 testing8.19.1-2 unstable8.19.1-2 |
|
coqide
May 01, 2024 |
stable8.19.1-1 testing8.19.1-2 unstable8.19.1-2 |