nixsearch / pkg / ocamlPackages.elpi
ocamlPackages.elpi
Embeddable λProlog Interpreter
version3.8.0
attributeocamlPackages.elpi
revb6c8664de9b6cc07fe5666a29f91884ba81197c4 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add ocamlPackages.elpi@3.8.0
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#ocamlPackages.elpi
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 3.8.0resolved | ✓ | ✓ | – | ✓ | ocamlPackages.elpi |
b6c8664de9 | ||
| 3.7.1 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
varies | ||
| 3.6.2 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
6368eda62c | ||
| 3.6.1 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
09061f748e | ||
| 3.4.5 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
c0f3d81a7d | ||
| 3.4.2 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
80d901ec03 | ||
| 3.4.1 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
870493f9a8 | ||
| 3.3.0 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
bce5fe2bb9 | ||
| 3.0.1 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
a3f3e3f2c9 | ||
| 2.0.7 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
6a489c9482 | ||
| 2.0.6 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
bf689c40d0 | ||
| 2.0.5 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
71a6392e36 | ||
| 1.20.0 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
566e53c2ad | ||
| 1.18.1 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
568bfef547 | ||
| 1.17.0 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
e1fa12d4f6 | ||
| 1.16.5 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
779bc051c7 | ||
| 1.15.2 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
78e748fa68 | ||
| 1.14.1 | ✓ | – | ✓ | ✓ | ocamlPackages.elpi |
6cb23bdec7 | ||
| 1.13.7 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.elpi |
varies | ||
| 1.13.1 | – | – | – | ✓ | ocamlPackages.elpi |
79cb2cb986 | ||
| 1.13.0 | – | – | – | ✓ | ocamlPackages.elpi |
dce8fc727d | ||
| 1.12.0 | – | – | – | ✓ | ocamlPackages.elpi |
4ef6da455e | ||
| 1.11.4 | – | – | – | ✓ | ocamlPackages.elpi |
5000e5707b | ||
| 1.11.2 | – | – | – | ✓ | ocamlPackages.elpi |
b9ba82ef8a |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.