Commit graph

1047 commits

Author SHA1 Message Date
Michael Raskin
f9f23084d9 pari_alpha: fix source link 2016-10-27 12:17:16 +02:00
Frederik Rietdijk
7077a270bf Merge remote-tracking branch 'upstream/master' into HEAD 2016-10-26 13:06:43 +02:00
Michael Raskin
28aa92de64 maxima: support building with ECL; optionally support building maxima.fas when building with ECL 2016-10-26 11:06:41 +02:00
Michael Raskin
36804c75e4 singular: Wrap executables instead of symlinking
This way config scripts can fidn out their own location
2016-10-26 11:06:40 +02:00
Michael Raskin
2bed05d8e1 singular: add an option to install as libsingular 2016-10-26 11:06:40 +02:00
Michael Raskin
8e9ad9bfdc pari_alpha: use perl to generate function descriptions 2016-10-26 11:06:40 +02:00
Michael Raskin
5af1b7ad02 singular: 3-1-2 -> 3-1-7 2016-10-26 11:06:39 +02:00
Michael Raskin
93bea1ecb0 R: 3.2.3 -> 3.2.4 2016-10-26 11:06:37 +02:00
Michael Raskin
5f418b75d6 nauty: init at 26r7 2016-10-26 11:06:36 +02:00
Michael Raskin
a67a50895c gfan: init at 0.5 2016-10-26 11:06:36 +02:00
Michael Raskin
71f659d86d pari_alpha: init at 2.8.0.alpha: planning to use for Sage 2016-10-26 11:06:34 +02:00
Michael Raskin
411d5742ca symmetrica: init at 2.0 2016-10-26 11:06:33 +02:00
Michael Raskin
c450d7b0a8 ratpoints: init at 2.1.3 2016-10-26 11:06:33 +02:00
Frederik Rietdijk
e56832d730 Merge remote-tracking branch 'upstream/master' into HEAD 2016-10-22 17:23:24 +02:00
Vladimír Čunát
4328629bf8 treewide: fix meta evaluation
There is no `stdenv.maintainers`. /cc @veprbl.
2016-10-22 12:05:23 +02:00
Jörg Thalheim
9c0b5e4b22 Merge pull request #19666 from veprbl/hep_for_upstream
Add fastjet, hepmc, yoda, rivet, lhapdf, herwig, pythia, sacrifice, nlojet++
2016-10-21 21:58:45 +02:00
Dmitry Kalinkin
ef96b48659
root: s/python/python2/ 2016-10-21 15:47:38 -04:00
Dmitry Kalinkin
59a8aff8e6
root: add veprbl to maintainers 2016-10-21 13:30:30 -04:00
Dmitry Kalinkin
b4e3e7b752
add veprbl to maintainers 2016-10-21 13:29:57 -04:00
=
d6880b210c
yarp: 2.3.65 -> 2.3.66.1 2016-10-20 19:34:03 +02:00
Dmitry Kalinkin
3324d8dc72
sacrifice: init at 1.0.0 2016-10-19 02:17:16 -04:00
Frederik Rietdijk
8963dae343 z3: use python2 2016-10-18 23:16:07 +02:00
Shea Levy
eca0f17ad2 nix-buffer support improvements.
Use inherit-local, add per-package elisp hooks.
2016-10-07 10:31:37 -04:00
Kirill Boltaev
3e646865f4 treewide: use ocaml.version (#19192) 2016-10-05 09:32:30 +02:00
Aneesh Agrawal
fcee1d0b28
Remove redundant -DCMAKE_BUILD_TYPE=Release flags
Since commit 183d05a0 in 2012, this is the default.

fixes #18000
2016-10-01 16:13:41 +02:00
Brian McKenna
57e1250d89 redprl: remove explicit builder
patchPhase wasn't being called for me so I've switched out the explicit
builder for the generic form. I can now build RedPRL on locally on
NixOS.
2016-09-29 10:52:29 +10:00
Anthony Cowley
a523351314 redprl: patch install script shebangs 2016-09-27 18:24:06 -04:00
Joachim F
19d3b1aa5f Merge pull request #19004 from nico202/fix-gazebo-cmake
gazebo7: Fix gazebo-config.cmake output file
2016-09-27 16:32:32 +02:00
=
efb56cec43
gazebo7: Fix gazebo-config.cmake output file 2016-09-27 10:30:27 +02:00
Kirill Boltaev
2bc87d48f1 scilab: mark as broken 2016-09-26 02:36:49 +03:00
Kirill Boltaev
06ecea00e5 glsurf: mark as broken 2016-09-26 02:36:49 +03:00
Kirill Boltaev
e61663a233 treewide: move to ocaml-ng system 2016-09-26 02:36:49 +03:00
Anthony Cowley
a3c26fec32 redprl: init at 2016-09-22 2016-09-23 20:37:20 -04:00
Vincent Laporte
c78c2b98c4 ecm: set meta.platforms to linux only 2016-09-21 19:14:11 +02:00
Gabriel Ebner
dd4a015aa8 eprover: 1.9 -> 1.9.1 2016-09-20 11:57:14 -04:00
Joachim F
e22dd2f6c5 Merge pull request #18740 from chris-martin/tulip-4-9
Tulip: 4.1.0 -> 4.9.0
2016-09-20 14:34:17 +02:00
Ram Kromberg
a729d6ee55 calc: remove redundant groff dependency 2016-09-19 01:37:45 +03:00
Chris Martin
08e5949235 tulip: 4.1.0 -> 4.9.0 2016-09-18 15:24:29 -04:00
Dmitry Kalinkin
7b9deaba81 root: add setup-hook 2016-09-18 04:45:18 -04:00
Nikolay Amiantov
4748709926 Merge commit 'refs/pull/18498/head' of git://github.com/NixOS/nixpkgs 2016-09-13 12:51:34 +03:00
Franz Pletz
fb9117efa6 Merge pull request #18488 from chris-martin/md5-2
Miscellaneous packages: Use sha256 instead of md5 (part 2)
2016-09-13 07:11:43 +02:00
Kirill Boltaev
bccd75094f treewide: explicitly specify gtk and related package versions 2016-09-12 18:26:06 +03:00
Dmitry Kalinkin
5646c2aba6 root: add support for x86_64-darwin
1) add pcre dependency (for some reason builtin_pcre doesn't work)
2) Disable dependencies that are currently not supported by the
expression.  Most users should not need those. These are disabled to
prevent cmake from picking them up from system and causing impurities.
Once there is a user who needs these they will have to update the
expression.
3) disable some OSX detection code that relies on /usr/bin/sw_vers
that chooses c++ library, silences warnings and sets macosx-version-min.
macosx-version-min is already set by nix using MACOSX_DEPLOYMENT_TARGET
environment variable.
2016-09-11 17:29:13 -04:00
Chris Martin
e417a63e61 scilab: md5->sha256 2016-09-10 13:50:10 -04:00
Dan Peebles
f285ce8fed twelf: fix emacs mode 2016-09-08 23:12:32 -04:00
Michael Raskin
b924cdefa5 tptp: take into account upstream tarball hash change; one file got renamed and some statistics in the documentation got regenerated 2016-09-08 16:49:22 +02:00
obadz
2919375c91 minc_tools: don't run tests which have been failing since first pkged 2016-09-05 17:26:12 +01:00
Domen Kožar
9e363a752f openmodelica: enable parallel building
(cherry picked from commit 261d51971a352cbcdc8d70dc74f8971ac202a43d)
Signed-off-by: Domen Kožar <domen@dev.si>
2016-09-05 18:06:28 +02:00
Joachim F
3d852770db Merge pull request #18164 from moyamo/geogebra
geogebra: 5.0.265.0 -> 5.0.271.0
2016-09-03 17:06:54 +02:00
Tuomas Tynkkynen
3364230d56 Disable bunch of non-compiling packages on Darwin
These ones have a "Last successful build" timestamp in the 2014s or
2015s. Presumably no one will notice if we now stop building them.

softether_4_18              2015-09-20  http://hydra.nixos.org/build/39418483
lensfun                     2014-09-30  http://hydra.nixos.org/build/39394104
net_snmp                    2015-09-20  http://hydra.nixos.org/build/39410553
djview                      2015-08-11  http://hydra.nixos.org/build/39413233
libmusicbrainz2             2015-09-20  http://hydra.nixos.org/build/39410106
fox_1_6                     2014-05-07  http://hydra.nixos.org/build/39410858
libofx                      2015-09-24  http://hydra.nixos.org/build/39423507
yacas                       2014-09-30  http://hydra.nixos.org/build/39393150
iomelt                      2014-09-30  http://hydra.nixos.org/build/39408486
softether                   2015-09-20  http://hydra.nixos.org/build/39425800
mp4v2                       2014-09-30  http://hydra.nixos.org/build/39421899
virtuoso7                   2014-09-21  http://hydra.nixos.org/build/39415206
man_db                      2015-04-23  http://hydra.nixos.org/build/39404236
libdiscid                   2014-09-30  http://hydra.nixos.org/build/39412202
zabbix22.agent              2014-09-21  http://hydra.nixos.org/build/39412149
vidalia                     2015-08-06  http://hydra.nixos.org/build/39411500
libmtp                      2015-09-20  http://hydra.nixos.org/build/39419199
wxGTK29                     2015-09-20  http://hydra.nixos.org/build/39415296
ncmpcpp                     2015-11-06  http://hydra.nixos.org/build/39404455
libtorrent                  2014-09-21  http://hydra.nixos.org/build/39394646
shishi                      2014-03-21  http://hydra.nixos.org/build/39418874
ocaml_3_12_1                2014-09-30  http://hydra.nixos.org/build/39392996
djview4                     2015-08-11  http://hydra.nixos.org/build/39427799
vimNox                      2014-05-23  http://hydra.nixos.org/build/39397012
ttfautohint                 2015-08-06  http://hydra.nixos.org/build/39398330
libraw                      2015-09-24  http://hydra.nixos.org/build/39402271
wxGTK30                     2015-09-20  http://hydra.nixos.org/build/39401871
sbcl_1_2_5                  2015-09-20  http://hydra.nixos.org/build/39426091
prover9                     2014-09-30  http://hydra.nixos.org/build/39406476
rcs                         2015-08-25  http://hydra.nixos.org/build/39392037
gpac                        2015-09-24  http://hydra.nixos.org/build/39399470
virtuoso6                   2014-09-30  http://hydra.nixos.org/build/39398651
xlslib                      2015-09-24  http://hydra.nixos.org/build/39410387
ucommon                     2015-03-27  http://hydra.nixos.org/build/39414040
commoncpp2                  2014-09-30  http://hydra.nixos.org/build/39420117
virtuoso                    2014-09-21  http://hydra.nixos.org/build/39399978
miniHttpd                   2014-09-30  http://hydra.nixos.org/build/39392925
mpack                       2014-09-26  http://hydra.nixos.org/build/39399535
nbd                         2014-09-26  http://hydra.nixos.org/build/39401367
newsbeuter-dev              2014-07-29  http://hydra.nixos.org/build/39406259
gimp_2_8                    2015-09-20  http://hydra.nixos.org/build/39436271
gimp                        2015-09-20  http://hydra.nixos.org/build/39435976
zabbix20.agent              2014-09-30  http://hydra.nixos.org/build/39393242
gst_all_1.gst-plugins-good  2015-09-20  http://hydra.nixos.org/build/39408506
ocaml_4_00_1                2014-09-30  http://hydra.nixos.org/build/39399526
inadyn                      2014-09-30  http://hydra.nixos.org/build/39426389
gst_all_1.gst-plugins-bad   2015-09-20  http://hydra.nixos.org/build/39392970
zabbix.agent                2014-09-30  http://hydra.nixos.org/build/39421412
cmake-2_8                   2015-09-24  http://hydra.nixos.org/build/39399443
liblastfm                   2015-08-06  http://hydra.nixos.org/build/39421812
newsbeuter                  2014-07-29  http://hydra.nixos.org/build/39396605
sdcv                        2014-09-26  http://hydra.nixos.org/build/39412928
2016-09-01 20:39:33 +03:00