nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-28 00:24:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
50,409 Commits 186 Branches 125 Tags 9.4 GiB
c16cce3204
Commit Graph

9171 Commits

Author SHA1 Message Date
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
koral
14930900c8 New package: tty-clock-0.1 2014-09-28 13:05:58 +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
Vladimír Čunát
4bcae6dc96 merge #4265: add KDE 4.14.1 2014-09-27 18:15:00 +02:00
Cillian de Róiste
5276adc1b4 Tidy up #4283 and move freewheeling to APPLICATIONS 2014-09-27 12:52:30 +02:00
Raffael Mancini
f80e897add Merge branch 'master' of github.com:NixOS/nixpkgs 2014-09-27 12:09:48 +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
Nathaniel Baxter
859918d235 vlc: Add ffmpeg version 2.3.x for vlc. 
Vlc doesn't support libavcodec >= 56 yet, which means it needs an older
version of ffmpeg.

Closes #4286
 2014-09-27 01:04:38 +01:00
Pascal Wittmann
3940aecc0d remove unused library libchamplain-0.6 2014-09-26 23:22:25 +02:00
Domen Kožar
428fdc879f pypy: 2.3 -> 2.4 2014-09-26 18:12:24 +02:00
Raffael Mancini
87dc6a2be6 Added Freewheeling 
a live looping instrument for jack with MIDI support
revision r100 from subversion
 2014-09-26 17:20:02 +02:00
William A. Kennington III
32aa544fb6 ceph: Add zfs support 2014-09-25 01:24:54 -07:00
ambrop7@gmail.com
0e8e45f3ab kde-4.14: Make it all build. 2014-09-24 23:48:39 +02:00
ambrop7@gmail.com
f6fd3b7754 indilib: Add version 0.9.9. 2014-09-24 23:48:39 +02:00
ambrop7@gmail.com
9c9f694853 Add non-legacy qt-gstreamer. 
Only compile tested (needed by Artikulate in KDE 4.14).
 2014-09-24 23:48:39 +02:00
ambrop7@gmail.com
8fef5ed675 kde: Copy 4.12 to 4.14 as a base" 2014-09-24 23:48:38 +02:00
Ricardo M. Correia
614a99bd8e cargoSnapshot: Add package 
Cargo downloads your Rust project's dependencies and builds your
project.

The cargoSnapshot derivation simply uses a binary build, because
it's not easy to build cargo from source yet.

In the future, it's expected that we'll also add a derivation for
building cargo from source.
 2014-09-24 18:18:15 +02:00
Bjørn Forsman
b7672b0125 notify-osd: align attrname with package name 
This package was added yesterday, so I don't think we need to keep the
old attribute around for backwards compatibility.
 2014-09-24 18:09:40 +02:00
Jaka Hudoklin
8eed86fba9 add mfoc, Mifare Classic Offline Cracker 2014-09-24 11:20:47 +02:00
Pascal Wittmann
a4e66d77d9 Merge pull request #4241 from bodil/notify-osd 
Added notify-osd package.
 2014-09-24 10:17:33 +02:00
Pascal Wittmann
3b2ba0ae42 falcon: update to lastest git revision as the lastest release does not build 2014-09-23 23:52:18 +02:00
Mateusz Kowalczyk
f0a39395f1 Merge pull request #4223 from michelk/saga 
Saga: Initial Expression
 2014-09-23 22:38:57 +01:00
Mateusz Kowalczyk
f0dae64cf3 Merge pull request #4215 from vbgl/camlp4 
Adds camlp4
 2014-09-23 22:28:54 +01:00
Peter Simons
ed6d7c2234 darcs: link this binary statically to avoid run-time dependencies on GHC and friends 2014-09-23 23:27:19 +02:00
Bodil Stokke
1536c1cc0b Added notify-osd package. 2014-09-23 21:58:44 +01:00
Vincent Laporte
b9741719fa Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for 
OCaml4.02)
 2014-09-23 20:48:50 +01:00
Peter Simons
574c2dd3a0 Merge pull request #4226 from ts468/snapper 
Add package: snapper
 2014-09-23 19:19:07 +02:00
John Wiegley
b26da01082 ocamlPackages: pin at 4.01, since much breaks with 4.02 2014-09-23 09:47:56 -05:00
Thomas Strobel
48265fd181 Use Nix default version of boost library. 2014-09-23 15:46:06 +02:00
Domen Kožar
6e8056ada9 further improvements to buildLuaPackage 2014-09-23 13:56:46 +02:00
wyvie
124ccae2e8 Refactored to use callPackage right 2014-09-23 13:56:45 +02:00
wyvie
6bd2f75f1c Switched from import to callPackage 2014-09-23 13:56:45 +02:00
wyvie
5c4362ae5a Simplified lua-packages function arguments to look nicer in all-packages 2014-09-23 13:56:45 +02:00
wyvie
e6eb51496b Added luaPackages, moved lua sockets and lua filesystem to luaPackages, fixed mudlet deps 2014-09-23 13:56:45 +02:00
Eelco Dolstra
9126447710 Bring back Boost 1.55 for now 2014-09-23 11:58:03 +02:00
Thomas Strobel
1cd703f3a9 Add package: snapper 
Snapper is a tool for Linux filesystem snapshot management, developed for OpenSuSE.
 2014-09-23 11:46:56 +02:00
Domen Kožar
6e3114a8a3 k3d: 0.8.0.2 -> 0.8.03 2014-09-23 11:33:40 +02:00
Vincent Laporte
d274ee3f80 Adds camlp4 
Camlp4 is a software system for writing extensible parsers for
programming languages.

Camlp4 was part of the official OCaml distribution until its version
4.01.0.

Homepage: https://github.com/ocaml/camlp4
 2014-09-23 09:34:13 +01:00
Mathijs Kwik
eb1ed09b1d neoload: provide fake fontconfig file (fixes chroot builds) 2014-09-23 09:17:02 +02:00
Michael Raskin
6b21183afa Fix Ocaml version for MonotoneViz so that lablgtk woks 2014-09-23 10:04:45 +04:00
Mateusz Kowalczyk
bffbed3343 Merge pull request #4203 from k0ral/binwalk 
Added binwalk package, and its dependency pyqtgraph.
 2014-09-23 05:53:51 +01:00
Mateusz Kowalczyk
7fefb6f5c3 tibia: update to 10.55 2014-09-22 23:16:37 +01:00
Vincent Bernardoff
259bbdd5e4 Added OCaml release 4.02.0. 
Closes #4197
 2014-09-22 20:13:32 +01:00
Paul Koerbitz
c15b4e1ac1 Add gforth to development/compilers 2014-09-22 19:56:52 +02:00
Richard Barrell
dd57adfb7c Tidy: gparted and gsmartcontrol are not games. 2014-09-22 17:33:40 +01:00
Michel Kuhlmann
6516bf4dd0 new 'gis' hierachy and initial saga expression 2014-09-22 13:57:20 +02:00
Peter Simons
e81b9f4bd8 Merge pull request #4085 from wkennington/master.boost 
Boost Updates
 2014-09-22 13:53:34 +02:00
koral
47c2b205ae Added binwalk package, and its dependency pyqtgraph. 2014-09-22 12:44:41 +02:00
Edward Tjörnhammar
383f142858 libretro: added bsnes, fba, gambatte, genesis-plus-gx, prboom 2014-09-22 12:35:07 +02:00
William A. Kennington III
a1d6c60e2d mongodb: Fix build 2014-09-21 15:18:16 -07:00
William A. Kennington III
0f7c7279d2 libyamlcpp03: Remove old version 2014-09-21 15:18:16 -07:00
William A. Kennington III
f327e9c922 boostHeaders: regular boost package now only contains headers 2014-09-21 15:18:16 -07:00
William A. Kennington III
89cf0e4fea boost: 1.55 -> 1.56 2014-09-21 15:18:16 -07:00
William A. Kennington III
768fe6ed06 boost-build: Add derivation 2014-09-21 15:18:16 -07:00
AndersonTorres
d3c7ecb2fd Various SLIM themes, obtained from Sourceforge's SLIM website 
Closes #3974
 2014-09-21 19:55:26 +01:00
Edward Tjörnhammar
175a40133a ideas: refactored products into common subexpression. 
Closes #4039
 2014-09-21 15:20:21 +01:00
Vincent Laporte
857c13e1af Minor modifications of some ocaml packages: 
adds myself as a maintainer
adds assertions to have evaluation errors rather than build errors
moves opam out of ocamlPackages, as it does not provide a library
 2014-09-21 11:02:55 +01:00
Michel Kuhlmann
f427a3d849 LASzip: initial expression 
Closes #4128
 2014-09-21 01:50:14 +01:00
lostdj
a54eb8d8b2 ue4demos: new package 
Closes #4082
 2014-09-21 01:19:00 +01:00
Emery Hemingway
d566fffc43 initial package for TREZOR browser plugin 
This plugin allows a browser to access a TREZOR device.
It requires a udev rule and a wrapped browser to operate.

Closes #3475
 2014-09-21 00:53:49 +01:00
Jaka Hudoklin
1a87e651e9 add thy-hydra: very fast network logon cracker which support many different services 2014-09-21 01:50:43 +02:00
Jaka Hudoklin
bc55a057e7 airfield: fix, add package definition to all-packages 2014-09-21 01:49:36 +02:00
wyvie
c891dd2719 new package: mudlet-3.0 
Closes #4095
 2014-09-21 00:45:31 +01:00
AndersonTorres
5c834022e8 Batti (version 0.3.8): New Package 
Batti is a small, GTK+UPower-based battery monitor, ideal for
lightweight desktop environments/window managers.

Closes #4031
 2014-09-21 00:22:27 +01:00
AndersonTorres
90fcd66599 AfterStep (version 2.2.12): New Package 
AfterStep is a beautiful window manager, inspired by NEXTStep interface

Closes #4177
 2014-09-21 00:03:44 +01:00
AndersonTorres
4f85f64153 Higan: adding "profile" and "gui" building options 
Also, removing builder.sh and copying everything to Nix expression.

Closes #4048
 2014-09-20 23:51:15 +01:00
Mateusz Kowalczyk
1e5452865b Merge pull request #4061 from vbgl/mezzo 
Adds mezzo and its dependencies
 2014-09-20 23:38:47 +01:00
wyvie
4d5336316c New package: lua-zip-1.2.3 
Closes #4138
 2014-09-20 23:32:17 +01:00
Mateusz Kowalczyk
c7bbc288b5 Merge branch 'cmplayer' of https://github.com/abbradar/nixpkgs 
Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
 2014-09-20 23:00:41 +01:00
Daniel Peebles
72e76a18c1 Update maven to 3.2.3 and put it in a more sensible location 
Closes #4187.

Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
 2014-09-20 22:33:18 +01:00
Daniel Peebles
588a5e92a3 Add commons-math (binary until I get maven build working) 
Drop jakarta name from fileupload and update its version

Jakarta regexp has been officially retired, and nothing in nixpkgs uses it, so let’s get rid of it.

Add commons-io

More commons additions/cleanup

Closes #4181

Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
 2014-09-20 22:31:47 +01:00
Thomas Tuegel
26ebd25844 Merge branch 'maintainer-updates' 2014-09-20 15:55:25 -05:00
roconnor
bbd58db13a Merge pull request #4133 from vbgl/coq-8-3 
Fixes coq-8.3: requires OCaml 3.12 and lablgtk 2.14
 2014-09-20 16:24:10 -04:00
Thomas Tuegel
cfcf643bb9 Version bump: libfm-1.2.2.1 and menu-cache-0.7.0 2014-09-20 13:20:19 -05:00
Vincent Laporte
40e79043b0 mkOcamlPackages: simpler rule for lablgtk 2014-09-20 18:53:43 +01:00
Nikolay Amiantov
6dfb6e5426 deadbeef: add package 2014-09-20 13:38:52 +02:00
Bjørn Forsman
8983b60f87 wireshark: add CLI and Qt versions 
In addition to our existing GTK version.

* Only install desktop file if building a GUI version.
* The Qt build appends "-qt" to the
  wireshark binary name. Undo it so the desktop file works.
* The 'wireshark' attribute still refers to the GTK version, for
  backwards compatibility.
 2014-09-20 13:28:46 +02:00
Daniel Peebles
4cb2357782 Drop the jakarta name from BCEL and update its version. 
Closes #4180.

Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
 2014-09-20 07:13:24 +01:00
roconnor
cbf79969b3 Merge pull request #4120 from NixOS/gnupg 
Add pinentry optional dependency for gnupg.

Delete gnupg2_1.
 2014-09-19 23:44:53 -04:00
Domen Kožar
9cad5e755f Merge pull request #4170 from vbgl/ocaml-sexplib-camlp5 
Updates ocaml-sexplib and ocaml-typeconv
 2014-09-19 20:45:14 +02:00
Vincent Laporte
8febae5dfd Updates ocaml-sexplib and ocaml-typeconv 
Fixes OCaml / camlp5 version mismatch
 2014-09-19 19:09:37 +01:00
William A. Kennington III
4cb5e39de6 Merge pull request #4157 from abbradar/icedtea-web 
Add support for IcedTea in Firefox
 2014-09-19 10:30:28 -07:00
(cdep)illabout
e52caabe63 Took out builder script for default builder. 
Removed the builder script in order to use the default builder based on
comments from a code review.
 2014-09-19 17:28:24 +02:00
(cdep)illabout
62e4bf2716 Adding roxterm package. 2014-09-19 16:13:05 +02:00
Peter Simons
ee4a606cdf Merge pull request #4165 from ftrvxmtrx/pcalc 
added pcalc package
 2014-09-19 14:42:07 +02:00
Siarhei Zirukin
00298c7bba added pcalc package 2014-09-19 13:31:52 +02:00
cillianderoiste
1b8d79e0b2 Merge pull request #4143 from geerds/cask 
Add "cask" package
 2014-09-19 13:23:28 +02:00
Nikolay Amiantov
f7ae09b5af wrapFirefox: add support for firefox.icedtea 2014-09-19 06:15:06 +04:00
Nikolay Amiantov
e81589e2c1 cmplayer: add package 2014-09-19 03:52:11 +04:00
koral
2a56f3d3f3 Added termite package and updated vte to be compatible. 2014-09-18 23:29:58 +02:00
Bjørn Forsman
f6148e10a3 grails: new package 
Grails is an Open Source, full stack, web application framework for the
JVM. It takes advantage of the Groovy programming language and
convention over configuration to provide a productive and stream-lined
development experience.

http://grails.org/
 2014-09-18 22:57:03 +02:00
Russell O'Connor
2b4e35bfd3 Remove unmaintained gnupg2_1. 2014-09-18 14:46:54 -04:00
Joachim Schiele
5b17ce8675 Merge pull request #4149 from qknight/dog 
dog-1.7: added potential cat replacement
 2014-09-18 18:08:55 +02:00
Joachim Schiele
03b411d968 Merge pull request #4150 from qknight/dfc 
dfc-3.0.4: a colored df -h replacement
 2014-09-18 18:08:38 +02:00
Joachim Schiele
2a3bae70b4 Merge pull request #4063 from qknight/dcfldd 
dcfldd: added advanced dd replacement
 2014-09-18 18:08:07 +02:00
Joachim Schiele
dc86f52740 dfc-3.0.4: a colored df -h replacement 2014-09-18 18:06:49 +02:00