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
*
abella: 2.0.7 -> 2.0.8
Chen
2023-11-14
*
Merge pull request #266486 from Luflosi/update/yosys
Pierre Bourdon
2023-11-12
|
\
|
*
abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13
Luflosi
2023-11-08
|
*
abc-verifier: cleanup
Luflosi
2023-11-08
|
*
abc-verifier: add Luflosi as maintainer
Luflosi
2023-11-08
*
|
treewide: fix redirected and broken URLs
Anthony Roussel
2023-11-11
|
/
*
treewide: change pythonForBuild to pythonOnBuildForHost
Adam Joseph
2023-11-05
*
uhdm: 1.76 -> 1.77
R. Ryantm
2023-11-04
*
coq: fix hompage url
Pablo Ovelleiro Corral
2023-11-02
*
lean4: 4.1.0 -> 4.2.0
Mario Rodas
2023-10-30
*
proverif: 2.04 → 2.05
Vincent Laporte
2023-10-23
*
alt-ergo: 2.5.1 -> 2.5.2
R. Ryantm
2023-10-19
*
surelog: 1.73 -> 1.76
Henner Zeller
2023-10-15
*
uhdm: 1.74 -> 1.76
Henner Zeller
2023-10-15
*
Merge pull request #260203 from wegank/cryptoverif-bump
Weijia Wang
2023-10-10
|
\
|
*
cryptoverif: 2.05 -> 2.07
Weijia Wang
2023-10-10
*
|
kissat: 3.1.0 -> 3.1.1
R. Ryantm
2023-10-10
*
|
Merge pull request #260039 from r-ryantm/auto-update/cadical
Ryan Mulligan
2023-10-10
|
\
\
|
|
/
|
/
|
|
*
cadical: 1.5.3 -> 1.8.0
R. Ryantm
2023-10-09
*
|
Merge pull request #259398 from whonore/update-dafny-4.3.0
Guillaume Maudoux
2023-10-09
|
\
\
|
|
/
|
/
|
|
*
dafny: 4.2.0 -> 4.3.0
whonore
2023-10-06
*
|
abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13
Luflosi
2023-10-07
|
/
*
cryptominisat: 5.11.12 -> 5.11.14
R. Ryantm
2023-10-04
*
easycrypt: 2022.04 → 2023.09
Vincent Laporte
2023-09-29
*
alt-ergo: 2.4.3 → 2.5.1
Vincent Laporte
2023-09-29
*
Merge master into staging-next
github-actions[bot]
2023-09-27
|
\
|
*
lean4: 4.0.0 -> 4.1.0
Mario Rodas
2023-09-26
*
|
Merge master into staging-next
github-actions[bot]
2023-09-26
|
\
|
|
*
Merge pull request #256231 from r-ryantm/auto-update/uhdm
Weijia Wang
2023-09-26
|
|
\
|
|
*
uhdm: 1.73 -> 1.74
R. Ryantm
2023-09-20
*
|
|
Merge master into staging-next
github-actions[bot]
2023-09-26
|
\
|
|
|
*
|
Merge pull request #256676 from r-ryantm/auto-update/beluga
Fabián Heredia Montiel
2023-09-25
|
|
\
\
|
|
*
|
beluga: 1.1 -> 1.1.1
R. Ryantm
2023-09-22
*
|
|
|
Merge master into staging-next
github-actions[bot]
2023-09-22
|
\
|
|
|
|
*
|
|
Merge pull request #254485 from r-ryantm/auto-update/cvc5
Weijia Wang
2023-09-22
|
|
\
\
\
|
|
|
/
/
|
|
/
|
|
|
|
*
|
cvc5: 1.0.7 -> 1.0.8
R. Ryantm
2023-09-11
*
|
|
|
Merge master into staging-next
github-actions[bot]
2023-09-21
|
\
|
|
|
|
*
|
|
coq: 8.17.1 -> 8.18.0
Vincent Laporte
2023-09-21
|
|
|
/
|
|
/
|
*
|
|
Merge remote-tracking branch 'origin/staging-next' into staging
Alyssa Ross
2023-09-14
|
\
|
|
|
*
|
egglog: unstable-2023-08-29 -> unstable-2023-09-12
figsoda
2023-09-13
|
*
|
Merge pull request #254490 from Vtec234/master
Yorick
2023-09-13
|
|
\
\
|
|
*
|
Update pkgs/applications/science/logic/drat-trim/default.nix
Wojciech Nawrocki
2023-09-12
|
|
*
|
drat-trim: 2020-06-05 -> 2023-05-22
Wojciech Nawrocki
2023-09-12
|
*
|
|
cbmc: 5.90.0 -> 5.91.0
R. Ryantm
2023-09-13
|
|
/
/
*
|
|
Merge staging-next into staging
github-actions[bot]
2023-09-12
|
\
|
|
|
*
|
Merge pull request #254499 from marsam/update-elan
Nick Cao
2023-09-11
|
|
\
\
|
|
*
|
elan: 2.0.1 -> 3.0.0
Mario Rodas
2023-09-10
|
|
|
/
|
*
/
lean4: init at 4.0.0
Mario Rodas
2023-06-02
|
|
/
*
|
Merge staging-next into staging
github-actions[bot]
2023-09-10
|
\
|
|
*
netlistsvg: update meta.homepage
Peder Bergebakken Sundt
2023-09-09
[next]