| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Cura(engine): Append version to name. | Moritz Ulrich | 2014-10-01 |
| | | |||
| * | Merge pull request #4345 from VShell/namecoin | Pascal Wittmann | 2014-10-01 |
| |\ | | | | | Update Namecoin to 0.3.76 | ||
| | * | Update Namecoin to 0.3.76 | Shell Turner | 2014-10-01 |
| | | | |||
| * | | lua: Fixed luasql.patch | wyvie | 2014-10-01 |
| | | | | | | | | | Closes #4344 | ||
| * | | isabelle: Version 2014 building on Linux and Darwin | John Wiegley | 2014-09-30 |
| | | | |||
| * | | rustcMaster: Fix test_override_env and enable tests | Ricardo M. Correia | 2014-10-01 |
| | | | | | | | | | | | | | We also need to disable parallel building due to rust-lang/rust#16305. Closes #4339 | ||
| * | | Merge branch 'mac-purity' of git://github.com/copumpkin/nixpkgs | Shea Levy | 2014-09-30 |
| |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Let’s compile the Mac OS X SecurityTool ourselves copumpkin: This allows us to compile SecurityTool ourselves. There are several more Apple opensource projects that can be compiled this way that I'll slowly add. Remaining sources of impurity: Reference to absolute path to Xcode. This should be integrated with the xcode derivation (and the iOS wrapper chain that exists under mobile development) but it's not obvious how to do that yet. Absolute reference to xcodebuild. Adding this should make it possible for #3629 to work reasonably cleanly. | ||
| | * | | Let’s compile the Mac OS X SecurityTool ourselves | Daniel Peebles | 2014-09-30 |
| | | | | |||
| * | | | Remove hard-coded /etc from strongswan | Shea Levy | 2014-09-30 |
| | | | | |||
| * | | | Higan: adding config.higan.{guiToolkit,profile} options | AndersonTorres | 2014-10-01 |
| | | | | | | | | | | | | | | | | | | | | | | | | | Now we can parametrize Higan locally. By default, guiToolkit = "gtk" and profile = "performance" (the accuracy profile is seriously slow on my machine :) ) Closes #4340 | ||
| * | | | A simple ADC downloader for upcoming darwin awesomeness | Daniel Peebles | 2014-10-01 |
| | | | | | | | | | | | | | Closes #4327 | ||
| * | | | tmux: wrapped program to set TERMINFO variable | koral | 2014-10-01 |
| | | | | | | | | | | | | | Closes #4335 | ||
| * | | | Sound of Sorting: New Package | AndersonTorres | 2014-10-01 |
| | |/ |/| | | | | | | | | | | | | | | | Sound of Sorting is an array-sorting visual+sound demo program. It shows an array as a list of horizontal bars, and realizes a step-by-step sorting of it. Moreover, it colorizes and emits a "8-bit-game-like" sound throughout its execution. Closes #4341 | ||
| * | | isabelle: Another Linux hash change? | John Wiegley | 2014-09-30 |
| | | | |||
| * | | isabelle: Remove Linux patches (is this correct?) | John Wiegley | 2014-09-30 |
| | | | |||
| * | | isabelle: Correct the 2014 sha value for Linux | John Wiegley | 2014-09-30 |
| | | | |||
| * | | update libwebp to fix giflib incompatibility | Aristid Breitkreuz | 2014-09-30 |
| | | | |||
| * | | A small vanity counter for finding top-grossing committers | Michael Raskin | 2014-09-30 |
| | | | |||
| * | | Add a binary distribution of Apache Jena RDF storage system | Michael Raskin | 2014-09-30 |
| | | | |||
| * | | xf86_input_wacom: update from 0.26.0 to 0.26.1 | Cillian de Róiste | 2014-09-30 |
| | | | |||
| * | | synthv1: update from 0.5.0 to 0.5.1 | Cillian de Róiste | 2014-09-30 |
| | | | |||
| * | | simplescreenrecorder: update from 0.3.0 to 0.3.1 | Cillian de Róiste | 2014-09-30 |
| | | | |||
| * | | samplv1: update from 0.5.0 to 0.5.1 | Cillian de Róiste | 2014-09-30 |
| | | | |||
| * | | qtractor: update from 0.6.2 to 0.6.3 | Cillian de Róiste | 2014-09-30 |
| | | | |||
| * | | drumkv1: update from 0.5.0 to 0.5.1 | Cillian de Róiste | 2014-09-30 |
| | | | |||
| * | | btrfsprogs: 3.16 -> 3.16.1 | William A. Kennington III | 2014-09-30 |
| | | | |||
| * | | isabelle: 2013 -> 2014, plus add darwin support | John Wiegley | 2014-09-30 |
| | | | |||
| * | | nfs-utils: add missing python dependency | Bjørn Forsman | 2014-09-30 |
| | | | | | | | | | | | | | nfsiostat is written in python. python is already in the closure of nfs-utils, so this adds no cost. | ||
| * | | Merge pull request #4305 from vbgl/coq-containers | Mateusz Kowalczyk | 2014-09-30 |
| |\ \ | | | | | | | Working with Coq | ||
| | * | | nixpkgs manual: packaging coq libraries | Vincent Laporte | 2014-09-28 |
| | | | | |||
| | * | | ProofGeneral: makes the dependency on TeXLive optional | Vincent Laporte | 2014-09-28 |
| | | | | | | | | | | | | | And fixes the default value of $PGHOME | ||
| | * | | Removes duplicate ssreflect | Vincent Laporte | 2014-09-28 |
| | | | | |||
| | * | | Adds three coq libraries: containers, mathcomp, ssreflect | Vincent Laporte | 2014-09-28 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Containers is a reimplementation of the FSets/FMaps library from the standard library, using typeclasses. Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4 The Mathematical Components (mathcomp) contains advanced theory files covering a wide spectrum of mathematics. Homepage: http://ssr.msr-inria.inria.fr/ Ssreflect is a proof language (plugin for Coq) and a small set of core theory libraries about boolean, natural numbers, sequences, decidable equality and finite types. Homepage: http://ssr.msr-inria.inria.fr/ | ||
| | * | | coq: setup-hook for libraries | Vincent Laporte | 2014-09-28 |
| | | | | | | | | | | | | | | | | | | | | | | Adds a hook to automatically populate the $COQPATH variable. Coq libraries are expected to be installed in lib/coq/${coq-version}/user-contrib/ | ||
| | * | | Adds license CeCILL-B | Vincent Laporte | 2014-09-28 |
| | | | | |||
| * | | | Merge pull request #4274 from DamienCassou/pharo-vm-update | Pascal Wittmann | 2014-09-30 |
| |\ \ \ | | | | | | | | | Update Pharo VM | ||
| | * | | | Update Pharo VM | Damien Cassou | 2014-09-30 |
| | | | | | | | | | | | | | | | | | | | | | - use latest upstream release - remove all patches as they are now applied upstream | ||
| * | | | | giflib: fixed evaluation | Pascal Wittmann | 2014-09-30 |
| | | | | | |||
| * | | | | cantarell_fonts: fixed derivation | Pascal Wittmann | 2014-09-30 |
| | | | | | |||
| * | | | | hdparm: fix expression | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | |||
| * | | | | dmtx: update from 0.7.2 to 0.7.4 | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | | | | | | | | | | | | | cc @7c6f434c | ||
| * | | | | anki: update from 2.0.28 to 2.0.29 | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | | | | | | | | | | | | | cc @the-kenny | ||
| * | | | | babeltrace: update from 1.2.1 to 1.2.3 | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | | | | | | | | | | | | | cc @bjornfor | ||
| * | | | | bird: update from 1.4.0 to 1.4.4 | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | | | | | | | | | | | | | cc @viric | ||
| * | | | | cantarell_fonts: update from 0.0.15 to 0.0.16 | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | | | | | | | | | | | | | | | | | | | | | Hijacking maintainership as original maintainer is no longer active. cc @urkud | ||
| * | | | | fcitx: update from 4.2.8.4 to 4.2.8.5 | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | | | | | | | | | | | | | cc @iyzsong | ||
| * | | | | ffmpeg-1: meta.branch | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | |||
| * | | | | ffmpeg_0_10: update from 0.10.14 to 0.10.15 | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | | | | | | | | | | | | | cc @lovek323 | ||
| * | | | | ghostscriptX: update from 9.06 to 9.14, potentially fixes CVE-2012-4405 | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | | | | | | | | | | | | | cc @viric | ||
| * | | | | gnuplot_qt: update from 4.6.5 to 4.6.6, potentially fixes CVE-2012-5624, ↵ | Mateusz Kowalczyk | 2014-09-30 |
| | | | | | | | | | | | | | | | | | | | | | | | | | CVE-2012-6093, CVE-2013-0254, CVE-2014-0190 cc @lovek323 | ||