9 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| Gentoo | sci-mathematics/coq-serapi | 0.16.3 | sci-mathematics | sci-mathematics@gentoo.org |
| Gentoo | sci-mathematics/coq-serapi | 0.16.2 | sci-mathematics | sci-mathematics@gentoo.org |
| Gentoo | sci-mathematics/coq-serapi | 0.16.1 | sci-mathematics | sci-mathematics@gentoo.org |
| LiGurOS stable | sci-mathematics/coq-serapi | 0.16.2 | sci-mathematics | sci-mathematics@gentoo.org |
| LiGurOS stable | sci-mathematics/coq-serapi | 0.16.1 | sci-mathematics | sci-mathematics@gentoo.org |
| LiGurOS stable | sci-mathematics/coq-serapi | 0.16.0 | sci-mathematics | sci-mathematics@gentoo.org |
| LiGurOS develop | sci-mathematics/coq-serapi | 0.16.3 | sci-mathematics | sci-mathematics@gentoo.org |
| LiGurOS develop | sci-mathematics/coq-serapi | 0.16.2 | sci-mathematics | sci-mathematics@gentoo.org |
| LiGurOS develop | sci-mathematics/coq-serapi | 0.16.1 | sci-mathematics | sci-mathematics@gentoo.org |