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
*
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
*
|
|
boolector: add patch for CVE-2019-7560
Robert Scott
2019-12-12
*
|
|
lingeling: enable for darwin
Robert Scott
2019-12-08
*
|
|
aiger: enable for darwin
Robert Scott
2019-12-08
|
/
/
*
|
symbiyosys: add yices dependency
Matt Huszagh
2019-12-04
*
|
coq_8_10: 8.10.1 → 8.10.2
Vincent Laporte
2019-12-03
*
|
Merge branch 'master' into staging-next
Jonathan Ringer
2019-11-27
|
\
\
|
*
|
coq: Fix setup hook
John Ericson
2019-11-25
*
|
|
Merge staging-next into staging
Frederik Rietdijk
2019-11-19
|
\
|
|
|
*
|
Treewide: fix URL permanent redirects
c0bw3b
2019-11-16
*
|
|
treewide: Get rid of libGLU_combined
adisbladis
2019-11-18
|
/
/
*
|
why3: 1.2.0 → 1.2.1
Vincent Laporte
2019-11-11
*
|
Merge pull request #70641 from maggesi/rename-z77z-into-maggesi
Matthew Bauer
2019-11-07
|
\
\
|
|
/
|
/
|
|
*
Merge branch 'master' into rename-z77z-into-maggesi
Marco Maggesi
2019-10-13
|
|
\
|
*
|
Rename z77z into maggesi
Marco Maggesi
2019-10-07
*
|
|
eprover: 2.3 -> 2.4
R. RyanTM
2019-11-01
*
|
|
coq_8_10: 8.10.0 → 8.10.1
Vincent Laporte
2019-10-25
*
|
|
coq_8_10: enable CoqIDE
Vincent Laporte
2019-10-25
*
|
|
ott: 0.28 -> 0.29
R. RyanTM
2019-10-23
*
|
|
symbiyosys: 2019.08.13 -> 2019.10.11
Emily
2019-10-19
*
|
|
coq_8_10: 8.10+β3 → 8.10.0
Vincent Laporte
2019-10-16
*
|
|
coq: do not build CoqIDE for Coq 8.10
Vincent Laporte
2019-10-16
*
|
|
coq_8_10: do not take “camlp5” as input
Vincent Laporte
2019-10-16
*
|
|
coq_8_10: fix CoqIDE on darwin
Vincent Laporte
2019-10-16
*
|
|
monosat: 60528a3 -> 1.8.0
Aiken Cairncross
2019-10-15
*
|
|
monosat: Add self as maintainer
Aiken Cairncross
2019-10-15
|
|
/
|
/
|
*
|
hol_light: 2019-03-27 -> 2019-10-06
Marco Maggesi
2019-10-09
*
|
treewide: mark some broken packages as broken
Linus Heckemann
2019-10-08
|
/
*
Merge pull request #69477 from r-ryantm/auto-update/clingo
Michael Raskin
2019-09-27
|
\
|
*
clingo: 5.3.0 -> 5.4.0
R. RyanTM
2019-09-26
*
|
Merge pull request #69345 from joachifm/feat/split-version
Joachim F
2019-09-27
|
\
\
|
*
|
tree-wide: replace uses of splitString "." with lib.versions
Joachim Fasting
2019-09-26
*
|
|
treewide: remove empty buildInputs
Jörg Thalheim
2019-09-26
|
|
/
|
/
|
*
|
tamarin-prover: mark as broken because upstream is broken
Kierán Meinhardt
2019-09-24
*
|
treewide: use libtinfo.so.5 where needed
Matthew Bauer
2019-09-18
|
/
*
coq_8_10: 8.10+β2 → 8.10+β3
Vincent Laporte
2019-09-16
*
petrinizer: fix build by pinning the neccessary library versions
Michael Raskin
2019-09-07
*
Merge branch 'master' into staging
Vladimír Čunát
2019-09-02
|
\
[next]