index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
/
logic
/
alt-ergo
Commit message (
Expand
)
Author
Age
*
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
Ulrik Strid
2022-02-24
*
alt-ergo: 2.4.0 → 2.4.1
Vincent Laporte
2021-10-12
*
alt-ergo: 2.3.3 → 2.4.0
Vincent Laporte
2021-04-26
*
alt-ergo: use Dune 2
Vincent Laporte
2021-02-23
*
alt-ergo: 2.3.2 → 2.3.3
Vincent Laporte
2020-08-29
*
alt-ergo: 2.3.1 → 2.3.2
Vincent Laporte
2020-04-08
*
alt-ergo: 2.3.0 → 2.3.1
Vincent Laporte
2020-03-24
*
treewide: name -> pname (easy cases) (#66585)
volth
2019-08-15
*
alt-ergo: 2.2.0 -> 2.3.0
Vincent Laporte
2019-02-12
*
alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4
Moritz Kiefer
2018-10-13
*
alt-ergo: use https instead of http to fetch archive
Jean-Pierre PRUNARET
2017-08-13
*
alt-ergo: 0.99.1 -> 1.30
Vincent Laporte
2017-01-21
*
alt-ergo: also supported on Darwin
Vincent Laporte
2016-01-04
*
alt-ergo: update from 0.95.2 to 0.99.1
Vincent Laporte
2014-12-31
*
zarith: propagate build input gmp
Vincent Laporte
2014-11-07
*
Fix many package descriptions
Bjørn Forsman
2014-08-24
*
nixpkgs: add alt-ergo 0.95.2
Austin Seipp
2014-05-01