8 package(s) known
Repository | Package name | Version | Category | Maintainer(s) |
---|---|---|---|---|
Hackage | twee | 2.5 | Theorem Provers | nicsma@chalmers.se |
nixpkgs stable 22.11 | twee | 2.4.2 | haskellPackages | fallback-mnt-nix@repology |
nixpkgs stable 23.05 | twee | 2.4.2 | haskellPackages | fallback-mnt-nix@repology |
nixpkgs stable 23.11 | twee | 2.4.2 | haskellPackages | fallback-mnt-nix@repology |
nixpkgs stable 24.05 | twee | 2.4.2 | haskellPackages | fallback-mnt-nix@repology |
nixpkgs stable 24.11 | twee | 2.4.2 | haskellPackages | fallback-mnt-nix@repology |
nixpkgs stable 25.05 | twee | 2.5 | haskellPackages | fallback-mnt-nix@repology |
nixpkgs unstable | twee | 2.5 | haskellPackages | fallback-mnt-nix@repology |