JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
50,276 Commits 2 Branches 0 Tags 13 GiB
74f7f56439
Commit Graph

50276 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Christoph Hrdinka
f5cd9d2460 nsd: fix description, license and platforms 2014-09-28 15:30:39 +02:00
Vincent Laporte
94828070ed ProofGeneral: makes the dependency on TeXLive optional 
And fixes the default value of $PGHOME
 2014-09-28 14:03:15 +01:00
Vincent Laporte
f3b8d82ce6 Removes duplicate ssreflect 2014-09-28 14:03:15 +01:00
Vincent Laporte
c30c5f7cf3 Adds three coq libraries: containers, mathcomp, ssreflect 
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/
 2014-09-28 14:03:15 +01:00
Vincent Laporte
fde68228d9 coq: setup-hook for libraries 
Adds a hook to automatically populate the $COQPATH variable.
Coq libraries are expected to be installed in

    lib/coq/${coq-version}/user-contrib/
 2014-09-28 14:03:14 +01:00
Vincent Laporte
181139fe09 Adds license CeCILL-B 2014-09-28 14:03:14 +01:00
Christoph Hrdinka
f1b3196f2d nsd: update to version 4.1.0 2014-09-28 14:43:26 +02:00
Christoph Hrdinka
29b4258622 nsd: add hrdinka to maintainers 2014-09-28 14:43:16 +02:00
Domen Kožar
63280c511e nixos: munin/jenkins: specify timeout correctly 2014-09-28 14:25:11 +02:00
Pascal Wittmann
97be74be16 Merge pull request #4302 from k0ral/tty-clock 
New package: tty-clock-0.1
 2014-09-28 13:10:55 +02:00
koral
14930900c8 New package: tty-clock-0.1 2014-09-28 13:05:58 +02:00
Rok Garbas
28ea895b08 pythonPackages.configobj: new version needs six as dependency 2014-09-28 12:56:08 +02:00
Pascal Wittmann
943b1a4768 Merge pull request #4301 from AndersonTorres/windowmaker 
Windowmaker: update to 0.95.6
 2014-09-28 12:54:12 +02:00
Mateusz Kowalczyk
714dc47696 agda-iowa-stdlib: renamed from aaron-stump-stdlib 
Per author's request.
 2014-09-28 02:21:21 +01:00
Siarhei Zirukin
448f3229f8 package update: go-1.3.1 -> go-1.3.2 
Closes #4279
 2014-09-28 01:35:49 +01:00
Domen Kožar
1e05bbaa96 nixos: increase timeout for jenkins/munin systemd services 2014-09-27 23:28:49 +02:00
Domen Kožar
2df644a9e1 pythonPackages.nose: disable tests 2014-09-27 22:34:51 +02:00
Domen Kožar
2fea016f4d python3Packages.pelican: fix build 2014-09-27 22:34:51 +02:00
AndersonTorres
fb184b0316 Windowmaker: update to 0.95.6 2014-09-27 17:23:38 -03:00
Tino Breddin
cba717fd7b elixir: make curl available to mix 2014-09-27 21:58:58 +02:00
Bjørn Forsman
a2a5b539a1 python2nix: update to latest 
Switch to upstream repo now that pull request #3 is merged.
 2014-09-27 20:09:08 +02:00
Pascal Wittmann
a0e82a304f bro: update from 2.1 to 2.3.1 2014-09-27 19:34:20 +02:00
Vladimír Čunát
a5e8f410bf thunderbird: maintenance update 
The corresponding security problem should've been fixed by the latest nss update.
 2014-09-27 18:24:45 +02:00
Vladimír Čunát
85fba5fdbd kde-4.14: fix kactivities download 
It was not released with 4.14.
http://osdir.com/ml/kde-commits/2014-07/msg02039.html
 2014-09-27 18:16:26 +02:00
Vladimír Čunát
4bcae6dc96 merge #4265: add KDE 4.14.1 2014-09-27 18:15:00 +02:00
koral
47636809ea dulwich: added tests dependencies. 2014-09-27 16:50:36 +02:00
Mateusz Kowalczyk
02c979aa9f haskell-vado: update to 0.0.2 
This is a version-bump only, putting the attoparsec version bound up on
Hackage through proper means:
https://github.com/hamishmack/vado/issues/5
 2014-09-27 15:14:19 +01:00
Bjørn Forsman
a6c7c1db7f ntopng: update from 1.2.0 to 1.2.1 
Successfully tested with the NixOS ntopng service.
 2014-09-27 15:42:18 +02:00
Tino Breddin
eb7bbb4862 postgresql: use configured port when invoking psql 2014-09-27 14:37:11 +02:00
Bjørn Forsman
273aa589d2 ntopng: update hashes and url 
All geoip data files have changed, update hashes. The ntopng source url
itself has changed, the source is now located in an "old/" directory
(hash unchanged).

Build tested.
 2014-09-27 13:52:19 +02:00
Luca Bruno
b86fdea43e gnucash: delete icon theme cache 2014-09-27 13:48:09 +02:00
Vladimír Čunát
7a47efe8f4 lyx: maintenance update 2014-09-27 13:00:21 +02:00
Cillian de Róiste
5276adc1b4 Tidy up #4283 and move freewheeling to APPLICATIONS 2014-09-27 12:52:30 +02:00
cillianderoiste
40ef936fb5 Merge pull request #4283 from sepi/master 
Added Freewheeling
 2014-09-27 12:44:09 +02:00
lethalman
9e7619b09b Merge pull request #4292 from DamienCassou/gpaste-3.12.3 
gpaste 3.12.2 -> 3.12.3
 2014-09-27 12:32:11 +02:00
Damien Cassou
f160705eb2 gpaste 3.12.2 -> 3.12.3 2014-09-27 12:24:12 +02:00
Raffael Mancini
f80e897add Merge branch 'master' of github.com:NixOS/nixpkgs 2014-09-27 12:09:48 +02:00
Raffael Mancini
122cfdcecf Removed unnecessary and wrong "priority = 10" from default.nix. 2014-09-27 12:08:24 +02:00
Vladimír Čunát
7323d5e128 lib/platforms: add "armv6l-linux" to all platforms 
It was only in mesaPlatforms, which caused nix appear unsupported in there.
 2014-09-27 11:23:03 +02:00
muflax
9d9258be5c zsh: bump version 2014-09-27 08:33:32 +01:00
muflax
368d0b4213 zsh: enable pcre 2014-09-27 08:33:29 +01:00
muflax
9da620a723 mplayer2: fix typo in configure 
Closes #4287
 2014-09-27 08:21:31 +01:00
muflax
5861898fc2 add jpeg support to mplayer and mplayer2 
Closes #4288
 2014-09-27 08:20:30 +01:00
Jaka Hudoklin
ff8f23ab26 Merge pull request #4280 from wkennington/master.consul 
nixos/consul: Add module
 2014-09-27 07:00:39 +02:00
Mateusz Kowalczyk
d8f2c32bcf agda-aaron-stump-stdlib: new package 2014-09-27 04:25:26 +01:00
Mateusz Kowalczyk
d409ae809a agda-pretty: new package 2014-09-27 03:30:30 +01:00
Mateusz Kowalczyk
4ed56b013f agda-TotalParserCombinators: new package 2014-09-27 03:23:22 +01:00
Mateusz Kowalczyk
4d2a3933a4 agda-prelude: new package 2014-09-27 02:35:54 +01:00
Christopher Poole
a5cf6850e3 Removed all versions of geant4 except for the latest one. 2014-09-27 10:45:06 +10:00
Vincent Laporte
5e4cf92121 ocamlnet: update 3.7.3 -> 3.7.6 
Closes #4216
 2014-09-27 01:09:53 +01:00