12 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| AUR | twelf-git | 20130819 | - | soimort@aur |
| AUR | twelf | 1.7.1 | - | soimort@aur |
| FreeBSD Ports | lang/twelf | 1.7.1 | lang | beyert@cs.ucr.edu |
|
Funtoo 1.4 science-kit |
sci-mathematics/twelf | 1.7.1 | sci-mathematics | gienah@gentoo.org |
|
Funtoo 1.4 science-kit |
sci-mathematics/twelf | 1.7.1 | sci-mathematics | gienah@gentoo.org |
| Gentoo | sci-mathematics/twelf | 1.7.1 | sci-mathematics | gienah@gentoo.org |
| LiGurOS stable | sci-mathematics/twelf | 1.7.1 | sci-mathematics | gienah@gentoo.org |
| LiGurOS develop | sci-mathematics/twelf | 1.7.1 | sci-mathematics | gienah@gentoo.org |
| nixpkgs stable 21.05 | twelf | 1.7.1 | - | johnw@newartisans.com |
| nixpkgs stable 21.11 | twelf | 1.7.1 | - | johnw@newartisans.com |
| nixpkgs stable 22.05 | twelf | 1.7.1 | - | johnw@newartisans.com |
| nixpkgs unstable | twelf | 1.7.1 | - | johnw@newartisans.com |