ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-26 12:53:59 +03:00
Code Issues Projects Releases Wiki Activity
11,828 Commits 96 Branches 102 Tags 4.8 GiB
8db80a9616
Commit Graph

2177 Commits

Author SHA1 Message Date
Armijn Hemel
8db80a9616 update to 7.3 
svn path=/nixpkgs/trunk/; revision=24008
 2010-09-30 17:00:13 +00:00
Michael Raskin
c7ca6b46b2 Update Veracity 
svn path=/nixpkgs/trunk/; revision=24006
 2010-09-30 16:41:45 +00:00
Peter Simons
4bdf53b0f1 pkgs/applications/version-management/git-and-tools: updated topgit to version 0.8-19-g9404aa1 
svn path=/nixpkgs/trunk/; revision=23996
 2010-09-30 13:27:24 +00:00
Peter Simons
ff1a93282f pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.3.1 
svn path=/nixpkgs/trunk/; revision=23995
 2010-09-30 13:27:17 +00:00
Lluís Batlle i Rossell
7eb92a7821 Adding kadu 
(patch by Piotr Pietraszkiewicz)

svn path=/nixpkgs/trunk/; revision=23988
 2010-09-28 22:37:44 +00:00
Evgeny Egorochkin
a2909b0386 MySql-Workbench: packaged 
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23983
 2010-09-28 09:33:56 +00:00
Michael Raskin
d63a20e353 Update veracity 
svn path=/nixpkgs/trunk/; revision=23977
 2010-09-28 04:27:01 +00:00
Yury G. Kudryashov
76b211a81f More homepages 
svn path=/nixpkgs/trunk/; revision=23973
 2010-09-27 18:41:59 +00:00
Yury G. Kudryashov
3a9ff9d607 Add pkgconfig to amarok buildInputs 
svn path=/nixpkgs/trunk/; revision=23965
 2010-09-27 11:19:42 +00:00
Yury G. Kudryashov
5f38d49440 typo 
svn path=/nixpkgs/trunk/; revision=23959
 2010-09-27 08:16:25 +00:00
Yury G. Kudryashov
b9fb4fee61 Move amarok from kde4. to applications/audio 
svn path=/nixpkgs/trunk/; revision=23956
 2010-09-26 19:40:30 +00:00
Evgeny Egorochkin
0488c4516a Flash player: works in Konqueror now, fixed missing library link. 
Fixed hash: Stupid Adobe changed the file again :(

svn path=/nixpkgs/trunk/; revision=23931
 2010-09-26 03:22:55 +00:00
Yury G. Kudryashov
58c09d0ff2 Move koffice to applications/office 
svn path=/nixpkgs/trunk/; revision=23900
 2010-09-22 18:04:55 +00:00
Yury G. Kudryashov
f726884df5 Old flashplayer is not available anymore 
svn path=/nixpkgs/trunk/; revision=23896
 2010-09-22 18:04:29 +00:00
Marco Maggesi
209c32c4c9 Update fossil 
svn path=/nixpkgs/trunk/; revision=23894
 2010-09-22 13:10:43 +00:00
Michael Raskin
3410afb706 Fix arora platform 
svn path=/nixpkgs/trunk/; revision=23892
 2010-09-22 08:59:50 +00:00
Michael Raskin
9effe4ad77 Update Veracity nightly 
svn path=/nixpkgs/trunk/; revision=23885
 2010-09-21 20:25:59 +00:00
Evgeny Egorochkin
5581a546ec Arora: fix homepage 
svn path=/nixpkgs/trunk/; revision=23884
 2010-09-21 15:47:20 +00:00
Evgeny Egorochkin
020cba6b98 Arora: packaged 
svn path=/nixpkgs/trunk/; revision=23877
 2010-09-20 22:16:16 +00:00
Michael Raskin
b383ca8d2a Add Vacuum IM 
svn path=/nixpkgs/trunk/; revision=23870
 2010-09-20 08:40:30 +00:00
Lluís Batlle i Rossell
c00b676654 Making the default vim have multibyte+nls support. Checking with 'du', I think 
the results take almost the same amount of bytes, while we get support for utf8 terminals.

svn path=/nixpkgs/trunk/; revision=23859
 2010-09-18 16:29:47 +00:00
Lluís Batlle i Rossell
812420fab6 Adding lxdvdrip (it builds, but I still don't know how to make it work) 
svn path=/nixpkgs/trunk/; revision=23858
 2010-09-18 16:29:07 +00:00
Evgeny Egorochkin
8ec9590737 Git: fix an impurity: was taking grep from PATH. 
svn path=/nixpkgs/trunk/; revision=23853
 2010-09-18 12:45:04 +00:00
David Guibert
c6f9d17b9a update msmtp up to version 1.4.21 
svn path=/nixpkgs/trunk/; revision=23837
 2010-09-17 17:34:03 +00:00
Eelco Dolstra
fd538ef53d * Fix some more paths in Xen, and make it use /etc/xen for its 
configuration files.

svn path=/nixpkgs/trunk/; revision=23821
 2010-09-16 15:21:28 +00:00
Eelco Dolstra
fac8ff8d71 * Firefox 3.6.10. 
svn path=/nixpkgs/trunk/; revision=23820
 2010-09-16 11:44:48 +00:00
Yury G. Kudryashov
72ab62e8f5 krename meta 
svn path=/nixpkgs/trunk/; revision=23819
 2010-09-16 08:41:03 +00:00
Yury G. Kudryashov
69032f3d1d Add krename 
svn path=/nixpkgs/trunk/; revision=23818
 2010-09-16 08:40:56 +00:00
Marco Maggesi
4e5db40581 Update HOL Light to version 20100820 (rev57 on google code). 
Also replace the monolitic derivation hol_light_binaries with smaller
derivations.  Now the installation works as follows:

# Install the base system and a script "start_hol_light"
$ nix-env -i hol_light_sources hol_light

# Install a checkpointed executable with the core library preloaded
$ nix-env -i hol_light_core_dmtcp

# Install HOL Light binaries preloaded with other specific libraries:
$ nix-env -i hol_light_multivariate_dmtcp
$ nix-env -i hol_light_complex_dmtcp
$ nix-env -i hol_light_sosa_dmtcp
$ nix-env -i hol_light_card_dmtcp


svn path=/nixpkgs/trunk/; revision=23815
 2010-09-15 21:41:18 +00:00
Marco Maggesi
44f2d4439f Change the name of the coq derivation to coq-devel-8.3pre1 
i.e., remove the version from the name.  Nix has its own mechanism to
prevent a packages to be upgraded.  Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).

Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.


svn path=/nixpkgs/trunk/; revision=23813
 2010-09-15 19:39:48 +00:00
Yury G. Kudryashov
139de1ea2f Don't try to build Qt guis if qt is unsupported on the platform 
svn path=/nixpkgs/trunk/; revision=23812
 2010-09-15 18:52:07 +00:00
Michael Raskin
6babe5dea4 Update Veracity 
svn path=/nixpkgs/trunk/; revision=23806
 2010-09-15 08:42:46 +00:00
Marco Maggesi
8ab6f9861c Add coq-8.3rc1 
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1").  The reason for this is that often
coq releases introduce several incompatibilities.  Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another.  Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.


svn path=/nixpkgs/trunk/; revision=23803
 2010-09-14 21:15:58 +00:00
Ludovic Courtès
11a446272a GNU IceCat 3.6.9. 
svn path=/nixpkgs/trunk/; revision=23802
 2010-09-14 16:39:42 +00:00
Eelco Dolstra
cdecced3b0 * Fix various references to /usr. 
svn path=/nixpkgs/trunk/; revision=23788
 2010-09-14 13:50:32 +00:00
Yury G. Kudryashov
38dec40ddc Upgrade ktorrent 
svn path=/nixpkgs/trunk/; revision=23754
 2010-09-13 14:23:02 +00:00
Michael Raskin
58722fa393 Update veracity 
svn path=/nixpkgs/trunk/; revision=23745
 2010-09-13 11:54:30 +00:00
Eelco Dolstra
b63de97e4c * Updated gecko-mediaplayer and gnome-mplayer. 
svn path=/nixpkgs/trunk/; revision=23737
 2010-09-11 17:16:42 +00:00
Eelco Dolstra
bf7c353ad1 * Updated Chromium. 
svn path=/nixpkgs/trunk/; revision=23736
 2010-09-11 14:20:46 +00:00
Eelco Dolstra
6d1f247646 * Firefox 3.6.9. 
svn path=/nixpkgs/trunk/; revision=23711
 2010-09-10 10:56:44 +00:00
Eelco Dolstra
cea083bec9 * Set the Python search path for Xen's Python scripts. As an 
experiment, do this by patching a line setting sys.path into the
  script, rather than using makeWrapper.
* Xen requires pythonFull because it needs https/ssl support.

svn path=/nixpkgs/trunk/; revision=23710
 2010-09-10 10:53:17 +00:00
Yury G. Kudryashov
fb8e2ed6be Verbose copy, use pkg-config to find dependencies 
svn path=/nixpkgs/trunk/; revision=23708
 2010-09-09 20:05:00 +00:00
Eelco Dolstra
c1867fe704 * Get Xen to build. It's not tested yet and doesn't include a Dom0 
kernel.

svn path=/nixpkgs/trunk/; revision=23698
 2010-09-09 16:45:18 +00:00
Peter Simons
c66aa309be pkgs/applications/editors/emacs-modes/magit: updated to version 0.8.2 
svn path=/nixpkgs/trunk/; revision=23697
 2010-09-09 16:06:34 +00:00
Peter Simons
9b8a491a73 pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.2.3 
svn path=/nixpkgs/trunk/; revision=23695
 2010-09-09 16:06:26 +00:00
Marco Maggesi
df21c86e08 Improve hol_light: 
*   Upgrade hol_light to the latest svn version on google code (r57).

  *   Improve and semplify the mechanism for the generation of checkpointed binaries.

  *   Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).

  *   Remove ocaml_with_sources which is not needed anymore.

svn path=/nixpkgs/trunk/; revision=23685
 2010-09-08 13:07:45 +00:00
Lluís Batlle i Rossell
08a4373125 Bump awesome. 
(patch by Carles Pagès)

svn path=/nixpkgs/trunk/; revision=23667
 2010-09-07 12:52:30 +00:00
Sander van der Burg
8d1cc5fcc2 Upgraded VirtualBox guest additions to version 3.2.8 and fixed it to make it work with xorg-server-1.8.x again. The RandR support still doesn't work properly, however 
svn path=/nixpkgs/trunk/; revision=23664
 2010-09-07 12:08:24 +00:00
Evgeny Egorochkin
919ae70e01 Make hydra compile QGit 
svn path=/nixpkgs/trunk/; revision=23662
 2010-09-07 09:54:11 +00:00
Ludovic Courtès
78adb9fbf1 org-mode: Pass the full path to which'; use callPackage'. 
svn path=/nixpkgs/trunk/; revision=23657
 2010-09-06 07:58:13 +00:00