8 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| Hackage | language-sygus | 0.1.1.3 | Language | william.hallahan@yale.edu |
| nixpkgs stable 22.11 | language-sygus | 0.1.1.3 | haskellPackages | fallback-mnt-nix@repology |
| nixpkgs stable 23.05 | language-sygus | 0.1.1.3 | haskellPackages | fallback-mnt-nix@repology |
| nixpkgs stable 23.11 | language-sygus | 0.1.1.3 | haskellPackages | fallback-mnt-nix@repology |
| nixpkgs stable 24.05 | language-sygus | 0.1.1.3 | haskellPackages | fallback-mnt-nix@repology |
| nixpkgs stable 24.11 | language-sygus | 0.1.1.3 | haskellPackages | fallback-mnt-nix@repology |
| nixpkgs stable 25.05 | language-sygus | 0.1.1.3 | haskellPackages | fallback-mnt-nix@repology |
| nixpkgs unstable | language-sygus | 0.1.1.3 | haskellPackages | fallback-mnt-nix@repology |