index
:
nixpkgs
add-beancount-ing-diba
add-cargo-espflash
add-cargo-feature-set
add-dodo
add-ghostie
add-iceportal
add-kdash
add-ldproxy
add-nemu
add-notifymuch
add-openbbterminal
add-swappy
add-vim-plugins
backport/update-python-pscript
cargo-espflash-license
cargo-public-api
fix-node-exporter-backslash-in-exec
fix-node-exporter-backslash-in-exec-tmp
init-cjson
init-fbcat
init-pdfium
init-prometheus-mpd-exporter
init-tageditor
init-tpm2-tss-engine
init-unused
master
mdbook-toc
nixos-22.11
submitting-changes-gitrm
update-bison
update-gitlint
update-libquotient
update-mdbook-open-on-gh
update-mutt
update-python-pscript
update-rust-analyzer
update-some-packages
update-tageditor
update-tasknc
update-tig
update-toot
update-ugrep
update-wordgrinder
update-zellij
updates
Contrib clone of nixpkgs
matthias
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
ocaml-modules
/
elpi
/
default.nix
Age
Commit message (
Expand
)
Author
2024-07-01
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
Pierre Roux
2024-01-02
coqPackages.coq-elpi: 1.19.0 -> 2.0.1
Pierre Roux
2023-09-01
ocamlPackages.elpi: 1.16.5 → 1.17.0
Pierre Roux
2023-08-28
coqPackages_8_14.coq-elpi: fix by using old camlp5
Vincent Laporte
2023-04-06
ocamlPackages.elpi: use Dune 3
Vincent Laporte
2023-02-22
ocamlPackages.elpi: fix camlp5 dependency
Vincent Laporte
2023-02-03
ocamlPackages treewide: strictDeps all packages
Ulrik Strid
2023-01-26
treewide: remove global with lib; statements in pkgs/development
Shawn8901
2022-08-29
ocamlPackages.yojson: 1.7.0 → 2.0.2
Vincent Laporte
2022-07-19
coqPackages.coq-elpi 1.14.0 -> 1.15.1
Pierre Roux
2022-06-08
ocamlPackages.elpi: 1.15.0 → 1.15.2
Vincent Laporte
2022-06-08
ocamlPackages.elpi: 1.14.1 → 1.15.0
Vincent Laporte
2022-05-25
coqPackages: etc
Cyril Cohen
2022-05-13
Revert "coqPackages: etc"
Vincent Laporte
2022-05-12
coqPackages: etc
Cyril Cohen
2022-02-16
elpi: 1.13.8 -> 1.14.1
Enrico Tassi
2021-11-13
ocamlPackages.elpi: use recent version of ppxlib
Vincent Laporte
2021-10-27
coqPackages.coq-elpi: 1.10 -> 1.11
Cyril Cohen
2021-05-28
elpi: 1.13.1 -> 1.13.5
Enrico Tassi
2021-04-18
elpi: 1.13.0 -> 1.13.1
Enrico Tassi
2021-02-18
elpi: 1.12.0 -> 1.13.0
Cyril Cohen
2021-01-31
ocamlPackages.ppx_deriving: 4.5 → 5.1
Vincent Laporte
2021-01-27
treewide: remove implicit use of stdenv.lib
Ben Siraphob
2021-01-09
coqPackages: refactor
Cyril Cohen
2020-08-28
ocamlPackages.elpi: 1.11.2 -> 1.11.4
Cyril Cohen
2020-06-04
ocamlPackages.elpi: 1.10.2 -> 1.11.0
Cyril Cohen
2020-03-03
elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3
Cyril Cohen
2019-10-07
elpi: 1.6.0 -> 1.7.0
Marco Maggesi
2019-08-09
elpi: 1.4.1 -> 1.6.0, and coq-elpi
Cyril Cohen
2019-06-27
elpi: release 1.4.1
Cyril Cohen
2019-05-07
ocamlPackages.elpi: 1.1.0 -> 1.2.0
Vincent Laporte
2018-10-15
ocamlPackages.elpi: 1.0.5 -> 1.1.0
Vincent Laporte
2018-10-10
camlp5_transitional: remove in favor of camlp5 (strict)
Théo Zimmermann
2018-09-27
ocamlPackages.elpi: init at 1.0.5
Vincent Laporte