ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-28 22:32:58 +03:00
Code Issues Projects Releases Wiki Activity
50,748 Commits 96 Branches 102 Tags 4.8 GiB
5ae6b247ac
Commit Graph

7477 Commits

Author SHA1 Message Date
Jaka Hudoklin
42da129d34 Merge pull request #4456 from robberer/pkgs/fritzing 
fritzing: add version 0.9.0b
 2014-10-12 22:58:45 +02:00
Vincent Laporte
fe1d8d0015 cvc4: new derivation 
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.

Homepage: http://cvc4.cs.nyu.edu/web/
 2014-10-12 16:21:02 +02:00
Vincent Laporte
531b44562a why3: update from 0.83 to 0.85 2014-10-12 16:21:02 +02:00
Peter Simons
950adbe487 Merge pull request #4498 from robberer/remove/md5 
change md5sum to sha256sum for a few packages
 2014-10-12 16:20:10 +02:00
Longrin Wischnewski
6e7de2155b change md5sum to sha256sum for a few packages 2014-10-12 16:13:21 +02:00
Peter Simons
258a47fcc7 haskell-xmobar: update to version 0.22.1 2014-10-12 16:12:27 +02:00
Edward Tjörnhammar
9701d58e28 xbmcPlugins.genesis: added package 
Closes #4482
 2014-10-12 12:35:09 +01:00
Arseniy Seroka
b8252a4494 apulse: add pkg 
Closes #4488
 2014-10-12 12:21:09 +01:00
Mateusz Kowalczyk
110c2d68d0 Merge pull request #4484 from edwtjo/idea-updates 
Idea updates
 2014-10-12 12:06:08 +01:00
Edward Tjörnhammar
d975ba397c idea.android-studio: bump 0.8.10 -> 0.8.12 2014-10-12 10:27:10 +02:00
Edward Tjörnhammar
9eb5fef92f idea.idea-{community,ultimate}: bump 13.1.4b -> 13.1.5 2014-10-12 10:27:10 +02:00
Edward Tjörnhammar
a4d94a0042 idea.desktop: fixed that the item got malformed Comment input 2014-10-12 10:27:10 +02:00
Aristid Breitkreuz
982364b212 awesome: generate manpages 2014-10-11 21:56:50 +02:00
Pascal Wittmann
a1cf6de6c8 Merge pull request #4446 from nathanielbaxter/dev/keepass 
keepass: Bump version to 2.28
 2014-10-11 21:00:29 +02:00
Domen Kožar
b4a7c1a6e2 xplanet: fix giflib update 2014-10-11 19:53:18 +02:00
rejuvyesh
36f29dfeb9 Update xmobar to 0.22 2014-10-11 18:38:06 +02:00
Domen Kožar
9ca95f700e sxiv: add missing patch 2014-10-11 18:19:58 +02:00
Domen Kožar
51ac867551 sxiv: 1.1.1 - 1.2 2014-10-11 18:06:46 +02:00
Aristid Breitkreuz
49f03ff5e1 Merge pull request #4471 from vbgl/smplayer 
Updates SMPlayer to 14.9.0 and adds SMTube
 2014-10-11 13:18:55 +02:00
Aristid Breitkreuz
23be46bf2e Merge pull request #4465 from vbgl/maxima 
maxima: update from 5.33.0 to 5.34.1
 2014-10-11 13:01:10 +02:00
Vincent Laporte
8280d6522e smtube: new package 
SMTube allows to search, play and download Youtube videos.

Homepage: http://smplayer.sourceforge.net/smtube.php
 2014-10-11 10:56:00 +01:00
Vincent Laporte
826572a9e3 smplayer: update from 14.3.0 to 14.9.0 2014-10-11 10:45:45 +01:00
Moritz Ulrich
ed62f798b2 gphoto2: update from 2.5.3 to 2.5.5 2014-10-11 01:57:57 +02:00
Moritz Ulrich
a58961d0c0 cura: update from 14.07 to 14.09 2014-10-11 01:57:57 +02:00
Vincent Laporte
9d5be8a757 maxima: update from 5.33.0 to 5.34.1 2014-10-10 21:55:16 +01:00
Aristid Breitkreuz
23956842d4 chromiumStable 38.0.2125.101, chromiumBeta 39.0.2171.19, chromiumDev 40.0.2182.3 2014-10-10 22:17:47 +02:00
Longrin Wischnewski
56a2f589b8 fritzing: add version 0.9.0b 
- An open source prototyping tool for Arduino-based projects
 2014-10-10 12:43:39 +02:00
Nathaniel Baxter
8d0954e72e keepass: Bump version to 2.28 2014-10-10 10:27:00 +11:00
John Wiegley
e73aefcf93 coq_HEAD: Update 2014-10-09 14:52:35 -05:00
Aristid Breitkreuz
afe8b54b49 Merge pull request #4381 from khumba/claws-mail 
New packages: claws-mail-3.10.1, libetpan-1.5.
 2014-10-09 20:31:01 +02:00
Georges Dubus
a172b4b1f8 Merge pull request #4436 from madjar/kde414 
Switch to kde 4.14 and remove 4.12
 2014-10-09 17:42:19 +02:00
Matej Cotman
c1e7c34602 mailpile: update to 0.4.1 2014-10-09 12:50:11 +02:00
Georges Dubus
0ae81afd3f Removed akunambol 
It is not maintained anymore, and is not compatible with kde 4.14.
 2014-10-09 12:00:12 +02:00
Michael Raskin
57e0b9de65 Apparently now monotoneViz source got fixed 2014-10-09 10:34:11 +04:00
Aristid Breitkreuz
e2adb5fa0f xterm: update from 303 to 312 2014-10-08 20:23:26 +02:00
Aristid Breitkreuz
6f07399727 ufraw: update from 0.19.2 to 0.20 2014-10-08 20:23:25 +02:00
Michael Raskin
af53f40684 Update Monotone-viz source 2014-10-08 22:06:15 +04:00
Cillian de Róiste
c74adc358d yoshimi: update from 1.2.3 to 1.2.4 2014-10-08 19:53:17 +02:00
Cillian de Róiste
13664348f5 kde4_next.kdenlive: update from 0.9.8 to 0.9.10 2014-10-08 19:52:29 +02:00
Cillian de Róiste
f1db979f2e guitarix: update from 0.30.0 to 0.31.0 2014-10-08 19:52:00 +02:00
Aristid Breitkreuz
977ad646e9 rcs: update from 5.9.2 to 5.9.3 2014-10-07 22:40:06 +02:00
Aristid Breitkreuz
1f3b58cb4f ikiwiki: update from 3.20140227 to 3.20140916 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
e36c5ac7fa irssi: update from 0.8.15 to 0.8.16 2014-10-07 20:52:02 +02:00
Domen Kožar
6ead69458c mumble: 1.2.7 -> 1.2.8 2014-10-07 19:19:47 +02:00
Domen Kožar
b0294578eb add opentracker: free bittorrent tracker project. It aims for minimal resource usage and is intended to run at your wlan router 2014-10-07 17:06:46 +02:00
Michael Raskin
ff371b96df A sigil cleanup 2014-10-07 18:51:33 +04:00
Nick Sauce
bfa942c9bf sigil: new package 2014-10-07 18:51:33 +04:00
Michael Raskin
b32dbc8be6 Gajim update 2014-10-07 16:23:28 +04:00
Michael Raskin
c16cce3204 Update freetalk 2014-10-07 16:23:28 +04:00
Michael Raskin
d171942ed1 Update Dia 2014-10-07 16:23:27 +04:00