index
:
nixpkgs
add-beancount-ing-diba
add-cargo-espflash
add-cargo-feature-set
add-dodo
add-ghostie
add-iceportal
add-kdash
add-ldproxy
add-nemu
add-notifymuch
add-openbbterminal
add-swappy
add-vim-plugins
backport/update-python-pscript
cargo-espflash-license
cargo-public-api
fix-node-exporter-backslash-in-exec
fix-node-exporter-backslash-in-exec-tmp
init-cjson
init-fbcat
init-pdfium
init-prometheus-mpd-exporter
init-tageditor
init-tpm2-tss-engine
init-unused
master
mdbook-toc
nixos-22.11
submitting-changes-gitrm
update-bison
update-gitlint
update-libquotient
update-mdbook-open-on-gh
update-mutt
update-python-pscript
update-rust-analyzer
update-some-packages
update-tageditor
update-tasknc
update-tig
update-toot
update-ugrep
update-wordgrinder
update-zellij
updates
Contrib clone of nixpkgs
matthias
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
Age
Commit message (
Expand
)
Author
2017-02-27
verilator: 3.884 -> 3.900
Robin Gloster
2017-02-27
Merge pull request #22817 from jbedo/r
Domen Kožar
2017-02-27
qt-gstreamer1: align attrname with pkgname
Bjørn Forsman
2017-02-26
logisim: use better jar wrapper, closes #23068
Christopher League
2017-02-26
lean: 3.0.0 -> 3.1.0
Gabriel Ebner
2017-02-25
Merge pull request #22977 from ttuegel/triage-kde4
Thomas Tuegel
2017-02-25
Merge pull request #22770 from NickHu/master
Peter Hoeg
2017-02-24
qt4: Don't pass top-level attribute through kde4
Thomas Tuegel
2017-02-24
fdr: init at 4.2.0
Nick Hu
2017-02-24
R: 3.2.4 -> 3.3.2
Justin Bedo
2017-02-22
pymol: fix evaluation
Franz Pletz
2017-02-22
pymol: init at 1.8.4 (#23007)
Mounium
2017-02-19
geogebra: add ma27 as maintainer
Maximilian Bosch
2017-02-19
geogebra: 5-0-328-0 -> 5-0-331-0
Maximilian Bosch
2017-02-14
geogebra: 5-0-320-0 -> 5-0-328-0
Maximilian Bosch
2017-02-13
ngspice: Add XSpice and Cider support
Rongcui Dong
2017-02-10
golly: use python2
Frederik Rietdijk
2017-02-06
ecopcr: init at 0.8.0
Celine Mercier
2017-02-04
emboss: 6.0.1 -> 6.6.0
Ian Lancaster
2017-02-03
Merge pull request #22231 from Ma27/hotfix/update-geogebra
Joachim F
2017-02-02
Merge pull request #22361 from peterhoeg/u/crunch
Gabriel Ebner
2017-02-02
ngspice: 25 -> 26
Rongcui Dong
2017-02-02
speedcrunch: 0.11 -> 0.12.0
Peter Hoeg
2017-02-01
veriT: 201506 -> 2016
Gabriel Ebner
2017-01-31
Remove myself from maintainers
Damien Cassou
2017-01-28
geogebra: 5.0.271.0 -> 5-0-320-0
Maximilian Bosch
2017-01-25
coq-8.4: fix build of ssreflect and mathcomp
Vincent Laporte
2017-01-25
Coq: propagates the findlib package
Vincent Laporte
2017-01-25
coq: minor refactoring
Vincent Laporte
2017-01-25
coq: merge files 8.5.nix and 8.6.nix into default.nix
Vincent Laporte
2017-01-21
alt-ergo: 0.99.1 -> 1.30
Vincent Laporte
2017-01-21
why3: 0.87.1 -> 0.87.3
Vincent Laporte
2017-01-20
lean: 2017-01-14 -> 3.0.0
Gabriel Ebner
2017-01-14
lean: 2017-01-06 -> 2017-01-14
Gabriel Ebner
2017-01-13
Merge pull request #21819 from AtnNn/isabelle
Pascal Wittmann
2017-01-11
isabelle: 2016 -> 2016-1
Etienne Laurin
2017-01-09
Merge pull request #21632 from veprbl/sherpa_fix
Michael Raskin
2017-01-07
sherpa: add useful dependencies
Dmitry Kalinkin
2017-01-06
Merge branch 'staging'; security /cc #21642
Vladimír Čunát
2017-01-06
lean: 2016-12-30 -> 2017-01-06
Gabriel Ebner
2017-01-04
sherpa: fix sqlite dependency
Dmitry Kalinkin
2017-01-04
Merge branch 'master' into staging
Daiderd Jordan
2017-01-03
haskellPackages.z3: fix #16357
Domen Kožar
2017-01-02
maxima: 5.38.1 -> 5.39.0
Michael Raskin
2017-01-02
Merge branch 'master' into staging
Daiderd Jordan
2017-01-01
root: 6.04.18 -> 6.08.02
Dmitry Kalinkin
2017-01-01
fityk: 1.3.0 -> 1.3.1
Pascal Wittmann
2016-12-31
lean: 2016-12-08 -> 2016-12-30
Gabriel Ebner
2016-12-30
sherpa: init at 2.2.1
Dmitry Kalinkin
2016-12-28
Merge pull request #21221 from rardiol/gplates
Michael Raskin
[next]