Versions Packages Information History Badges Report

Versions for twelf

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