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
*
libpoly: use python3
Frederik Rietdijk
2021-04-03
*
lean2: stay with python2
Frederik Rietdijk
2021-04-03
*
Merge pull request #117712 from gebner/elan0110
Gabriel Ebner
2021-03-26
|
\
|
*
elan: 0.10.3 -> 0.11.0
Gabriel Ebner
2021-03-26
*
|
Merge pull request #116630 from r-ryantm/auto-update/lean
Mario Rodas
2021-03-25
|
\
\
|
*
|
lean: 3.27.0 -> 3.28.0
R. RyanTM
2021-03-17
*
|
|
coq: enable coqide on darwin
Paul Liétar
2021-03-23
*
|
|
treewide: gnome3.defaultIconTheme -> gnome3.adwaita-icon-theme
Samuel Gräfenstein
2021-03-17
|
/
/
*
/
tla-toolbox: 1.7.0 -> 1.7.1
mucaho
2021-03-14
|
/
*
treewide: add missing lib inputs
sternenseemann
2021-03-03
*
coq_8_13: 8.13.0 → 8.13.1
Vincent Laporte
2021-03-02
*
lean: 3.26.0 -> 3.27.0
R. RyanTM
2021-02-28
*
Merge pull request #114539 from SuperSandro2000/z3-java
Sandro
2021-02-27
|
\
|
*
z3: Add output for Java bindings (*.jar and *.so)
Lorenz Leutgeb
2021-02-27
*
|
Merge master into staging-next
Frederik Rietdijk
2021-02-26
|
\
|
|
*
acgtk: 1.5.1 → 1.5.2
Vincent Laporte
2021-02-24
|
*
hol: 10 -> 14
Vladimir Serov
2021-02-23
|
*
alt-ergo: use Dune 2
Vincent Laporte
2021-02-23
*
|
treewide: makeWrapper buildInputs to nativeBuildInputs
Ben Siraphob
2021-02-19
|
/
*
Merge master into staging-next
github-actions[bot]
2021-02-11
|
\
|
*
symbiyosys: fix the interpreter of the `sby` binary.
David Anderson
2021-02-10
*
|
Merge master into staging-next
github-actions[bot]
2021-02-10
|
\
|
|
*
z3: 4.8.9 -> 4.8.10
Fabian Affolter
2021-02-09
*
|
Merge staging-next into staging
github-actions[bot]
2021-02-03
|
\
|
|
*
coq: 8.13+beta1 -> 8.13.0 (#109479)
Jarl G. Taxerås Flaten
2021-02-03
*
|
Merge staging-next into staging
github-actions[bot]
2021-01-31
|
\
|
|
*
treewide: update permanent url redirects
Sandro Jäckel
2021-01-30
*
|
Merge staging-next into staging
github-actions[bot]
2021-01-29
|
\
|
|
*
lean: 3.25.0 -> 3.26.0
R. RyanTM
2021-01-29
*
|
Merge staging-next into staging
github-actions[bot]
2021-01-28
|
\
|
|
*
Merge pull request #111003 from NieDzejkob/isabelle-vampire
Sandro
2021-01-28
|
|
\
|
|
*
isabelle: provide perl LWP for remote_vampire
Jakub Kądziołka
2021-01-28
*
|
|
Merge staging-next into staging
github-actions[bot]
2021-01-27
|
\
|
|
|
*
|
saw-tools: update license (#110920)
Roland Coeurjoly
2021-01-27
|
|
/
|
*
treewide: remove implicit use of stdenv.lib
Ben Siraphob
2021-01-27
*
|
Merge staging-next into staging
github-actions[bot]
2021-01-27
|
\
|
|
*
Merge pull request #110912 from siraben/stdenv-lib-inherit
Sandro
2021-01-27
|
|
\
|
|
*
treewide: remove inherited stdenv.lib
Ben Siraphob
2021-01-27
*
|
|
Merge pull request #108888 from ttuegel/feature--staging--qt-no-mkDerivation
Thomas Tuegel
2021-01-26
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
qtbase: Check for wrapQtAppsHook in setupHook
Thomas Tuegel
2021-01-25
*
|
|
treewide: remove stdenv where not needed
Pavol Rusnak
2021-01-25
|
|
/
|
/
|
*
|
Merge pull request #110487 from r-ryantm/auto-update/lean
Mario Rodas
2021-01-24
|
\
\
|
*
|
lean: 3.24.0 -> 3.25.0
R. RyanTM
2021-01-22
|
|
/
*
/
treewide: fix double quoted strings in meta.description
volth
2021-01-24
|
/
*
acgtk: use dune install
sternenseemann
2021-01-21
*
treewide: editorconfig fixes
zowoq
2021-01-20
*
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
Jonathan Ringer
2021-01-19
*
elan: 0.10.2 -> 0.10.3
R. RyanTM
2021-01-18
*
treewide: stdenv.lib -> lib
Ben Siraphob
2021-01-16
*
fix mis-merge
Michael Raskin
2021-01-14
[next]