index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
/
logic
Commit message (
Expand
)
Author
Age
*
mcy: 2020.02.05 -> 2020.03.16
Austin Seipp
2020-03-17
*
symbiyosys: 2020.02.08 -> 2020.02.11
Austin Seipp
2020-03-17
*
yosys: 2020.02.25 -> 2020.03.16
Austin Seipp
2020-03-17
*
lean: 3.6.1 -> 3.7.0
Mario Rodas
2020-03-14
*
Merge pull request #80719 from mucaho/feature/clingcon_init
Michael Raskin
2020-03-09
|
\
|
*
clingcon: init at 3.3.0
mucaho
2020-03-08
*
|
Merge pull request #81796 from JohnAZoidberg/satallax-gcc9
Maximilian Bosch
2020-03-08
|
\
\
|
*
|
satallax: Fix build with GCC9
Daniel Schaefer
2020-03-05
*
|
|
acgtk: 1.5.0 → 1.5.1 (#81539)
Vincent Laporte
2020-03-07
*
|
|
elan: v0.8.0 tag was force-pushed by upstream
Gabriel Ebner
2020-03-06
*
|
|
elan: 0.7.5 -> 0.8.0
Gabriel Ebner
2020-03-06
*
|
|
js_of_ocaml: 3.4.0 -> 3.5.2 (#75766)
Joachim Breitner
2020-03-06
*
|
|
Merge pull request #81722 from r-ryantm/auto-update/workcraft
Mario Rodas
2020-03-05
|
\
\
\
|
*
|
|
workcraft: 3.2.5 -> 3.2.6
R. RyanTM
2020-03-04
|
|
/
/
*
|
|
Merge pull request #81692 from r-ryantm/auto-update/lean
Gabriel Ebner
2020-03-04
|
\
\
\
|
*
|
|
lean: 3.6.0 -> 3.6.1
R. RyanTM
2020-03-04
|
|
/
/
*
|
|
python3Packages.monosat: Fix hash
Aiken Cairncross
2020-03-03
*
|
|
python3Packages.monosat: Fix Python 3.8 build
Aiken Cairncross
2020-03-03
|
/
/
*
|
mcy: init at 2020.02.05
Austin Seipp
2020-02-27
*
|
symbiyosys: fix calls to external programs
Austin Seipp
2020-02-27
*
|
lean: 3.5.1 -> 3.6.0
Mario Rodas
2020-02-26
|
/
*
elan: upgrade cargo fetcher and cargoSha256
Benjamin Hipple
2020-02-19
*
lean: 3.4.2 -> 3.5.1
Junyoung Clare Jang
2020-02-15
*
treewide: change fetchCargoTarball default to opt-out
Benjamin Hipple
2020-02-13
*
verifast: 18.02 -> 19.12
R. RyanTM
2020-02-09
*
Merge pull request #79479 from r-ryantm/auto-update/workcraft
Ryan Mulligan
2020-02-09
|
\
|
*
workcraft: 3.1.9 -> 3.2.5
R. RyanTM
2020-02-07
*
|
iprover: 2018_Jul_24_11h -> 3.1
Jannik Vierling
2020-02-09
*
|
symbiyosys: 2019.10.11 -> 2020.02.08
Emily
2020-02-08
|
/
*
abc-verifier: passthru rev
Florian Klink
2020-02-01
*
abc-verifier: 2018-07-08 -> 2020-01-11
Florian Klink
2020-02-01
*
coqPackages_8_11.coq: 8.11+β1 → 8.11.0
Vincent Laporte
2020-01-31
*
coq: disable CoqIDE on Darwin for Coq ≥ 8.10
Vincent Laporte
2020-01-31
*
saw-tools: use default llvm
Luka Blaskovic
2020-01-30
*
Merge pull request #78521 from r-ryantm/auto-update/ott
Mario Rodas
2020-01-29
|
\
|
*
ott: 0.29 -> 0.30
R. RyanTM
2020-01-26
*
|
Renamed maintainer lucas8 -> dwarfmaster
DwarfMaster
2020-01-21
|
/
*
treewide: NIX_*_COMPILE -> string
Robin Gloster
2019-12-31
*
Merge gcc-9 into staging (#68029)
Frederik Rietdijk
2019-12-30
|
\
|
*
minisat: 2.2.0 -> 2.2.1
Franz Pletz
2019-12-30
|
*
Merge remote-tracking branch 'origin/master' into gcc-9
Franz Pletz
2019-12-26
|
|
\
|
*
|
minisatUnstable: fix build with gcc9
Franz Pletz
2019-11-05
|
*
|
minisat: fix build with gcc9
Franz Pletz
2019-11-04
*
|
|
treewide: replace make/build/configure/patchFlags with nix lists
Merijn Broeren
2019-12-30
*
|
|
treewide: update which packages I'm currently maintaining
Maximilian Bosch
2019-12-26
|
|
/
|
/
|
*
|
treewide: fix cargoSha256 (again)
Alyssa Ross
2019-12-20
*
|
z3: 4.8.5 -> 4.8.7
Austin Seipp
2019-12-14
*
|
Merge pull request #75141 from vbgl/coq-8.11β1
Vincent Laporte
2019-12-14
|
\
\
|
*
|
coq_8_11: init at 8.11+β1
Vincent Laporte
2019-12-07
*
|
|
btor2tools: correct meta information
Robert Scott
2019-12-12
[next]