Versions Packages Information History Related Badges Report

Versions for ocaml:psmt2-frontend

22 package(s) known

Repository Package name Version Category Maintainer(s)
AUR ocaml-psmt2-frontend-git r22.bb35b53 - fallback-mnt-aur@repology
AUR ocaml-psmt2-frontend 0.2 - fallback-mnt-aur@repology
Fedora 37
release		 ocaml-psmt2-frontend 0.4.0 Unspecified -
Fedora 38
release		 ocaml-psmt2-frontend 0.4.0 Unspecified -
Fedora 39
release		 ocaml-psmt2-frontend 0.4.0 Unspecified -
Fedora 40
release		 ocaml-psmt2-frontend 0.4.0 Unspecified -
Fedora 41
release		 ocaml-psmt2-frontend 0.4.0 Unspecified -
Fedora 41
updates		 ocaml-psmt2-frontend 0.4.0 Unspecified -
Fedora 42
release		 ocaml-psmt2-frontend 0.4.0 Unspecified -
Fedora Rawhide
development		 ocaml-psmt2-frontend 0.4.0 Unspecified -
FreeBSD Ports devel/ocaml-psmt2-frontend 0.4.0 devel freebsd@dev.thsi.be
Mageia 8
core/release		 ocaml-psmt2-frontend 0.1 Development/OCaml -
Mageia 9
core/release		 ocaml-psmt2-frontend 0.4.0 Development/OCaml -
Mageia cauldron
core/release		 ocaml-psmt2-frontend 0.4.0 Development/OCaml -
nixpkgs stable 22.11 ocaml4.14.1-psmt2-frontend 0.4.0 ocamlPackages vincent.laporte@gmail.com
nixpkgs stable 23.05 ocaml4.14.1-psmt2-frontend 0.4.0 ocamlPackages vincent.laporte@gmail.com
nixpkgs stable 23.11 ocaml4.14.2-psmt2-frontend 0.4.0 ocamlPackages vincent.laporte@gmail.com
nixpkgs stable 24.05 ocaml5.1.1-psmt2-frontend 0.4.0 ocamlPackages vincent.laporte@gmail.com
nixpkgs stable 24.11 ocaml5.2.1-psmt2-frontend 0.4.0 ocamlPackages vincent.laporte@gmail.com
nixpkgs stable 25.05 ocaml5.3.0-psmt2-frontend 0.4.0 ocamlPackages vincent.laporte@gmail.com
nixpkgs unstable ocaml5.3.0-psmt2-frontend 0.4.0 ocamlPackages vincent.laporte@gmail.com
opam psmt2-frontend 0.4.0 - -