ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-27 22:03:54 +03:00
Code Issues Projects Releases Wiki Activity
11,755 Commits 96 Branches 102 Tags 4.8 GiB
9effe4ad77
Commit Graph

2161 Commits

Author SHA1 Message Date
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
Eelco Dolstra
b724075063 * Audacious 2.4.0. 
svn path=/nixpkgs/trunk/; revision=23656
 2010-09-06 07:29:18 +00:00
Lluís Batlle i Rossell
f01245ee4a Improving a bit the configure options for mutt: 
Enable debug
Fix a copy and paste error in --without-sasl

svn path=/nixpkgs/trunk/; revision=23654
 2010-09-06 07:17:20 +00:00
Michael Raskin
29db2ca0c9 Adding Ekiga 
svn path=/nixpkgs/trunk/; revision=23653
 2010-09-05 23:37:54 +00:00
Michael Raskin
9090138f5e Updating Gajim 
svn path=/nixpkgs/trunk/; revision=23642
 2010-09-05 12:29:44 +00:00
Michael Raskin
cc616fbada Update Veraity nightly version 
svn path=/nixpkgs/trunk/; revision=23633
 2010-09-03 19:59:51 +00:00
Eelco Dolstra
9b22cac306 * Fix the nvi URL. 
svn path=/nixpkgs/trunk/; revision=23621
 2010-09-03 15:32:40 +00:00
Michael Raskin
ee731b9a4d Updating veracity 
svn path=/nixpkgs/trunk/; revision=23590
 2010-09-01 10:12:56 +00:00
Andres Löh
fec5966932 Fix renamed argument problem. 
svn path=/nixpkgs/trunk/; revision=23556
 2010-08-31 10:40:28 +00:00
Lluís Batlle i Rossell
6acc186e0e Fixing the catalan locale for kicad (it had the wrong encoding written) 
svn path=/nixpkgs/trunk/; revision=23554
 2010-08-31 09:24:49 +00:00
Lluís Batlle i Rossell
aa86a0c4a2 Fixing kicad so it not only builds, but it also runs and finds the library of components. 
svn path=/nixpkgs/trunk/; revision=23552
 2010-08-31 08:19:28 +00:00
Michael Raskin
d53af6407c Fix changed patch hash (checked new page) 
svn path=/nixpkgs/trunk/; revision=23522
 2010-08-29 20:10:39 +00:00
Lluís Batlle i Rossell
5994279104 The main id3v2 default.nix! I forgot it. 
svn path=/nixpkgs/trunk/; revision=23518
 2010-08-29 19:27:44 +00:00
Michael Raskin
3a0bf4d42d Update wireshark 
svn path=/nixpkgs/trunk/; revision=23516
 2010-08-29 19:17:00 +00:00
Lluís Batlle i Rossell
d570082ad7 Fixing id3v2 runtime error (allocation/free error) 
svn path=/nixpkgs/trunk/; revision=23514
 2010-08-29 15:56:11 +00:00
Lluís Batlle i Rossell
65e7754f51 Allowing abcde to make mp3. I had to add id3v2, and fix the id3lib build. 
svn path=/nixpkgs/trunk/; revision=23513
 2010-08-29 15:53:42 +00:00
Lluís Batlle i Rossell
2ab5f25607 Updating 'tig' (for garbas@freenode) 
svn path=/nixpkgs/trunk/; revision=23487
 2010-08-28 14:10:49 +00:00