summary refs log tree commit diff
path: root/pkgs
Commit message (Expand)AuthorAge
* Merge pull request #32250 from vbgl/coq-cleanVincent Laporte2017-12-11
|\
| * coqPackages_8_4: removeVincent Laporte2017-12-02
| * coqPackages_8_4.contribs: removeVincent Laporte2017-12-02
| * coqPackages_8_4.ynot: removeVincent Laporte2017-12-02
| * coqPackages_8_4.unimath: removeVincent Laporte2017-12-02
| * coqPackages_8_4.tlc: removeVincent Laporte2017-12-02
| * coqPackages_8_4.ssreflect: removeVincent Laporte2017-12-02
| * coqPackages_8_4.QuickChick: removeVincent Laporte2017-12-02
| * coqPackages_8_4.paco: removeVincent Laporte2017-12-02
| * coqPackages_8_4.mathcomp: removeVincent Laporte2017-12-02
| * coqPackages_8_4.interval: removeVincent Laporte2017-12-02
| * coqPackages_8_4.heq: removeVincent Laporte2017-12-02
| * coqPackages_8_4.flocq: removeVincent Laporte2017-12-02
| * coqPackages_8_4.fiat: removeVincent Laporte2017-12-02
| * coqPackages_8_4.domains: removeVincent Laporte2017-12-02
| * coqPackages_8_4.coquelicot: removeVincent Laporte2017-12-02
| * coqPackages_8_4.coqeal: removeVincent Laporte2017-12-02
| * coqPackages_8_4.coqExtLib: removeVincent Laporte2017-12-02
| * coqPackages_8_4.bedrock: removeVincent Laporte2017-12-02
| * coq_HEAD: removeVincent Laporte2017-12-02
* | U-Boot: Adds Orange Pi PC buildSamuel Dionne-Riel2017-12-11
* | librem: 0.5.0 -> 0.5.2Orivej Desh2017-12-11
* | libre: 0.5.1 -> 0.5.6Orivej Desh2017-12-11
* | Merge pull request #32560 from manveru/calamaresJörg Thalheim2017-12-11
|\ \
| * | Revive calamaresMichael Fellinger2017-12-11
| * | Revert "calamares: remove due to being broken and insecure."Michael Fellinger2017-12-10
* | | Merge pull request #32568 from vbgl/ocp-indent-1.6.1Jörg Thalheim2017-12-11
|\ \ \
| * | | ocp-indent: 1.6.0 -> 1.6.1Vincent Laporte2017-12-11
* | | | Merge pull request #32567 from andir/slack3.0.0Jörg Thalheim2017-12-11
|\ \ \ \
| * | | | slack: 2.9.0 -> 3.0.0Andreas Rammhold2017-12-11
* | | | | powerdns: 4.0.4 -> 4.0.5 for CVE-2017-15091Samuel Leathers2017-12-11
* | | | | Merge pull request #32566 from dywedir/fdJörg Thalheim2017-12-11
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | fd: 6.0.0 -> 6.1.0dywedir2017-12-11
* | | | | ocamlPackages.merlin: 3.0.3 -> 3.0.5Maxime Dénès2017-12-11
* | | | | Merge pull request #32565 from andir/pdns-recursor-4.0.8Franz Pletz2017-12-11
|\ \ \ \ \
| * | | | | pdns-recursor: 4.0.6 -> 4.0.8 (fixes CVE-2017-15120)Andreas Rammhold2017-12-11
| | |/ / / | |/| | |
* | | | | python.pkgs.lark-parser: init at 2017-12-10Frederik Rietdijk2017-12-11
* | | | | qtile: disable check after #32244Orivej Desh2017-12-11
* | | | | python/qrcode: Add mock to checkInputsaszlig2017-12-11
* | | | | cloud-init: disable check after #32244Orivej Desh2017-12-11
* | | | | mono50: disable parallel buildingOrivej Desh2017-12-11
* | | | | python-axolotl: Disable tests for Python 2.xaszlig2017-12-11
* | | | | lazarus: 1.6.0-0 -> 1.8.0zimbatm2017-12-11
* | | | | Merge pull request #32487 from magnetophon/lv2-pluginsOrivej Desh2017-12-11
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | mod-distortion: 2015-05-18 -> 2016-08-19Bart Brouns2017-12-11
| * | | | distrho: 2017-08-04 -> 2017-10-10Bart Brouns2017-12-11
| * | | | calf: 0.0.60 -> 0.90.0Bart Brouns2017-12-11
* | | | | linux-testing: 4.15-rc2 -> 4.15-rc3aszlig2017-12-11
|/ / / /
* | | | gstreamer: update hashesOrivej Desh2017-12-11
* | | | Merge: openexr: upstream security patchVladimír Čunát2017-12-11
|\ \ \ \