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
Commit message (
Expand
)
Author
Age
*
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
*
Merge branch 'master' into remove-opensmt
Michael Raskin
2021-01-14
|
\
|
*
treewide: with stdenv.lib; in meta -> with lib;
Profpatsch
2021-01-11
|
*
Merge branch 'master' into staging-next
Jan Tojnar
2021-01-10
|
|
\
|
|
*
Merge pull request #108507 from Ericson2314/ott-mode
John Ericson
2021-01-10
|
|
|
\
|
|
|
*
ott: Don't also install emacs mode
John Ericson
2021-01-05
|
*
|
|
Merge branch 'master' into staging-next
Michael Weiss
2021-01-09
|
|
\
|
|
|
|
*
|
coqPackages: refactor
Cyril Cohen
2021-01-09
|
*
|
|
Merge branch 'master' into staging-next
Jan Tojnar
2021-01-07
|
|
\
|
|
|
|
*
|
lean: 3.23.0 -> 3.24.0
Devon Richards
2021-01-06
|
|
|
/
|
*
|
treewide: remove enableParallelBuilding = true if using cmake
Ben Siraphob
2021-01-03
|
*
|
treewide: cmake buildInputs to nativeBuildInputs, minor cleanups
Ben Siraphob
2021-01-01
|
|
/
*
/
opensmt: 20101017 -> 2.0.1
freezeboy
2021-01-01
|
/
*
cryptoverif: 2.03pl1 → 2.04
Vincent Laporte
2020-12-18
*
cryptoverif: fix search for default library
Vincent Laporte
2020-12-18
*
coq_8_12: 8.12.1 → 8.12.2
Vincent Laporte
2020-12-16
*
coq_8_13: init at 8.13+β1
Vincent Laporte
2020-12-15
*
cedille: 1.1.1 -> 1.1.2; fix build
Alyssa Ross
2020-12-10
*
clingo: 5.4.0 -> 5.4.1
R. RyanTM
2020-12-07
*
abc-verifier: 2020.06.22 -> 2020.11.24
Austin Seipp
2020-12-02
*
Merge pull request #100750 from arcz/boolector
Austin Seipp
2020-12-02
|
\
|
*
boolector: fix darwin build
Artur Cygan
2020-11-29
|
*
btor2tools: fix install_name on darwin
Artur Cygan
2020-11-29
*
|
proverif: install emacs mode
Vincent Laporte
2020-11-29
*
|
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox
Sandro
2020-11-29
|
\
\
|
|
/
|
/
|
|
*
tlaplusToolbox: 1.6.0 -> 1.7.0
R. RyanTM
2020-07-07
*
|
z3: enable build on non-x86_64 unix; checked the build on aarch64-linux
Michael Raskin
2020-11-27
*
|
Merge pull request #105111 from r-ryantm/auto-update/workcraft
Sandro
2020-11-27
|
\
\
|
*
|
workcraft: 3.3.1 -> 3.3.2
R. RyanTM
2020-11-27
*
|
|
treewide: ran ./maintainers/scripts/update_redirected_urls.sh
Patrick Hilhorst
2020-11-27
*
|
|
Merge pull request #99761 from fgaz/key/init
Sandro
2020-11-25
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
key: init at 2.6.3
Francesco Gazzetta
2020-10-06
*
|
|
Merge pull request #103590 from r-ryantm/auto-update/workcraft
Sandro
2020-11-24
|
\
\
\
|
*
|
|
workcraft: 3.3.0 -> 3.3.1
R. RyanTM
2020-11-12
*
|
|
|
coq_8_12: 8.12.0 → 8.12.1
Vincent Laporte
2020-11-15
*
|
|
|
lean: 3.21.0 -> 3.23.0
R. RyanTM
2020-11-11
|
/
/
/
*
|
|
Merge branch 'master' into staging-next
Jan Tojnar
2020-11-05
|
\
\
\
|
*
|
|
lean: build olean files
Gabriel Ebner
2020-11-04
*
|
|
|
Merge staging-next into staging
Frederik Rietdijk
2020-11-03
|
\
|
|
|
|
*
|
|
treewide: simplify rev/repo arguments in src
Pavol Rusnak
2020-11-01
*
|
|
|
Merge staging-next into staging
Frederik Rietdijk
2020-11-01
|
\
|
|
|
|
*
|
|
Revert "coq: propagate and install ocaml and findlib"
Vincent Laporte
2020-10-31
*
|
|
|
Merge branch master into staging to fix eval error
Andreas Rammhold
2020-10-28
|
\
|
|
|
|
*
|
|
treewide: remove package names from prefix of descriptions
Ben Siraphob
2020-10-27
|
*
|
|
Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"
Vladimír Čunát
2020-10-25
|
*
|
|
Merge #101508: libraw: 0.20.0 -> 0.20.2
Vladimír Čunát
2020-10-25
|
|
\
\
\
|
|
*
\
\
Merge branch 'staging-next' into staging
Jan Tojnar
2020-10-22
|
|
|
\
\
\
[next]