8 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| Gentoo | sci-mathematics/opensmt | 2.5.2 | sci-mathematics | sci-mathematics@gentoo.org |
| LiGurOS stable | sci-mathematics/opensmt | 2.5.2 | sci-mathematics | sci-mathematics@gentoo.org |
| LiGurOS develop | sci-mathematics/opensmt | 2.5.2 | sci-mathematics | sci-mathematics@gentoo.org |
| nixpkgs stable 21.11 | opensmt | 2.2.0 | - | 7c6f434c@mail.ru |
| nixpkgs stable 22.05 | opensmt | 2.3.1 | - | 7c6f434c@mail.ru |
| nixpkgs stable 22.11 | opensmt | 2.4.2 | - | 7c6f434c@mail.ru |
| nixpkgs stable 23.05 | opensmt | 2.5.0 | - | 7c6f434c@mail.ru |
| nixpkgs unstable | opensmt | 2.5.2 | - | 7c6f434c@mail.ru |