ocamlPackages.smtml 0.28.0 maintained outdated
SMT solver frontend for OCaml
- Name
ocaml5.5.0-smtml-0.28.0- Package set
- ocamlPackages
- Homepage
- https://formalsec.github.io/smtml/smtml/
- License
- MIT
- Source
- pkgs/development/ocaml-modules/smtml/default.nix:95
- Derivation
/nix/store/ywmj50bgd3mqabq0kpac4fhzqc6q8rli-ocaml5.5.0-smtml-0.28.0.drv- Repology
- outdated, newest version is 0.31.0 · ocaml:smtml (as of 2026-10-08T00:43:59Z)
- Also available as
ocamlPackages_latest.smtml
Maintainers 5
| Handle | Name | Contact | Via |
|---|---|---|---|
| ethancedwards8 | Ethan Carter Edwards | GitHub · ethan@ethancedwards.com · @ethancedwards8:matrix.org | listed on package, team NGI |
| redianthus | redianthus | GitHub | listed on package |
| eljamm | Fedi Jamoussi | GitHub · fedi.jamoussi@protonmail.ch | team NGI |
| phanirithvij | Phani Rithvij | GitHub · phanirithvij2000@gmail.com · @phanirithvij:matrix.org | team NGI |
| Prince213 | Sizhe Zhao | GitHub · prc.zhao@outlook.com · @prince213:matrix.org | team NGI |
Teams 1
- NGI: Maintain NGI-supported software.
Dependencies 24
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.bitwuzla-cxx 0.8.2 | propagatedBuildInputs | 3 | single outdated | |
| ocamlPackages.bos 0.3.0 | propagatedBuildInputs | 206 | single | |
| ocamlPackages.cmdliner 2.1.1 | propagatedBuildInputs | 881 | single | |
| ocamlPackages.dolmen_model 0.10 | propagatedBuildInputs | 2 | single | |
| ocamlPackages.dolmen_type 0.10 | propagatedBuildInputs | 5 | single | |
| ocamlPackages.fpath 0.7.3 | propagatedBuildInputs | 269 | single | |
| ocamlPackages.hc 0.5 | propagatedBuildInputs | 2 | single | |
| ocamlPackages.menhirLib 20260203 | propagatedBuildInputs | 940 | single outdated | |
| ocamlPackages.mtime 2.2.0 | propagatedBuildInputs | 110 | single | |
| ocamlPackages.ocaml_intrinsics 0.17.0 | propagatedBuildInputs | 62 | unmaintained | |
| ocamlPackages.ppx_enumerate 0.17.0 | propagatedBuildInputs | 531 | unmaintained | |
| ocamlPackages.prelude 0.5 | propagatedBuildInputs | 4 | single | |
| ocamlPackages.scfg 0.5 | propagatedBuildInputs | 2 | single | |
| ocamlPackages.yojson 3.0.0 | propagatedBuildInputs | 370 | single | |
| ocamlPackages.z3 5.1.0 | propagatedBuildInputs | 7 | maintained | |
| ocamlPackages.zarith 1.14 | propagatedBuildInputs | 153 | maintained | |
| ocamlPackages.dune-build-info 3.23.1 | buildInputs | 59 | single outdated | |
| ocamlPackages.dune-site 3.23.1 | buildInputs | 38 | unmaintained outdated | |
| dune 3.23.1 | nativeBuildInputs | 1,402 | single outdated | |
| ocaml 5.5.0 | nativeBuildInputs | 1,487 | single outdated | |
| ocamlPackages.findlib 1.9.8 | nativeBuildInputs | 1,473 | unmaintained | |
| ocamlPackages.menhir 20260203 | nativeBuildInputs | 938 | single outdated | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 1 directly, 1 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.symex 0.2 | propagatedBuildInputs | 0 | single outdated |