JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
126,236 Commits 2 Branches 0 Tags 13 GiB
6e862fb43b
Commit Graph

20957 Commits

Author SHA1 Message Date
David Asabina
810ec3f8bd bitscope: init at 2017-12-28 2017-12-30 21:58:27 +01:00
Sébastien Maccagnoni
9db8e22679
gnomeExtensions.mediaplayer: init at 3.5 2017-12-30 20:00:22 +01:00
Dmitry Kalinkin
6d9769663d
cc-wrapper: allow compilers to specify unsupported hardening modes 
Fixes: 0fd7ef61b2 ('clang_34: Disable hardening bits (#28543)')
 2017-12-30 12:23:25 -05:00
Frederik Rietdijk
2d0bead714 Merge remote-tracking branch 'upstream/master' into HEAD 2017-12-30 17:04:54 +01:00
Frederik Rietdijk
bb729316dd
Merge pull request #33201 from rnhmjoj/steamcontroller 
Add Steam controller userspace driver
 2017-12-30 11:55:47 +00:00
rnhmjoj
aa6a18a6d9
steamcontroller: init at 2017-08-11 2017-12-30 12:31:45 +01:00
Yegor Timoshenko
61bb8115c5
ibus: 1.5.16 -> 1.5.17, fix, back to single output 
This fixes ibus-setup.

* Update cldrEmojiAnnotation: 31.0.1_1 -> 31.90.0_1
* Move ibus-setup back to out, and use a smaller Python 3 at runtime
  than doesn't pull in some dev paths
* Build from Git
* Use autoreconfHook so that we don't have to patch ./configure scripts
  when we could just generate them correctly in the first place
* Drop patch that removes IBUS_* environment variables from ibus-setup
  wrapper: unsetting them breaks ibus-setup
* Add withWayland option (building with Wayland requires libxcbcommon
  package, previously wayland was included into buildInputs w/o
  libxcbcommon and respective configure flag)
* Add license (LGPLv2.1)

Relies on two other commits in this branch that add GI_TYPELIB_PATH
discovery and fix gconf Python scripts.
 2017-12-30 02:56:37 +00:00
Adam Fidel
6a6e34b81e fastpbkdf2: init at version 1.0.0 (#33155) 2017-12-30 05:26:08 +03:00
Yegor Timoshenko
41ab3d4bd5
Merge pull request #33100 from olynch/mitschemeX11 
mitschemeX11: init at 9.2
 2017-12-30 04:33:53 +03:00
pasqui23
0dd7d213c2 home-manager:init at 2017-10-11 (#30330) 
home-manager: init at 2017-12-07
 2017-12-30 08:52:26 +08:00
Yegor Timoshenko
0d321897fb
linuxPackages.spl: eval, 84d8ef6e2f 
Second attempt.
 2017-12-30 00:28:37 +00:00
Yegor Timoshenko
f497999e86
linuxPackages.spl: eval, 84d8ef6e2f 2017-12-29 23:43:05 +00:00
adisbladis
612e1acb6b
Merge pull request #33177 from Mounium/gnome-ext 
dash-to-panel: init at v11
 2017-12-29 23:35:17 +01:00
adisbladis
f056ec2f24
Merge pull request #33183 from mstarzyk/miller 
miller: init at 5.2.2
 2017-12-29 23:31:45 +01:00
Franz Pletz
84d8ef6e2f
linuxPackages.spl: simplify expression 
This package only contains a kernel module.
 2017-12-29 22:45:53 +01:00
Maciek Starzyk
8bf2a0971e miller: init at 5.2.2 2017-12-29 21:55:42 +01:00
Katona László
19175d4f7b dash-to-panel: init at v11 2017-12-29 20:23:08 +01:00
Vladimír Čunát
a1a3e54ac9
Merge branch 'master' into staging 
Haskell rebuild :-)
Hydra: ?compare=1421865
 2017-12-29 18:39:36 +01:00
Christoph Hrdinka
d07bc8bb30
woff2: init at 1.0.2 
Signed-off-by: Christoph Hrdinka <c.github@hrdinka.at>
 2017-12-29 11:38:08 +01:00
Vladimír Čunát
f29000b002
Merge branch 'master' into staging 
Hydra: ?compare=1421760
 2017-12-29 10:13:33 +01:00
Vladimír Čunát
1963be9945
Merge #32795: vala_*: patch updates 2017-12-29 10:00:31 +01:00
Yegor Timoshenko
76c146c990
Merge pull request #32092 from samdroid-apps/add-eolie 
eolie: init at 0.9.14
 2017-12-29 10:37:49 +03:00
Sam Parkinson
ca74d62bdd
eolie: init at 0.9.16 2017-12-29 07:24:52 +00:00
Yegor Timoshenko
1f3f774bbe
Merge pull request #33040 from yegortimoshenko/20171225.022736/easyrpg-player 
easyrpg-player: init at 0.5.3
 2017-12-29 08:33:58 +03:00
Yegor Timoshenko
2d4426ab05
Merge pull request #33098 from olynch/denemo 
denemo: init at 2.2.0
 2017-12-29 06:37:11 +03:00
John Mercier
78d76e4b55 jbake: init at 2.5.1 2017-12-29 03:26:13 +01:00
Robin Gloster
c300d9e01c libmysql: deprecate 2017-12-29 02:18:35 +01:00
Robin Gloster
6903ea6050 treewide: libmysql -> mysql.connector-c 2017-12-29 02:18:35 +01:00
Robin Gloster
445e3d7390 ghostOne: remove 
broken and unmaintained
 2017-12-29 02:18:35 +01:00
Robin Gloster
f3445606ac libdbiDrivers: libmysql -> connector-c 2017-12-29 02:18:35 +01:00
Robin Gloster
3881816a64 libmysql: now needs to point to mysql.connector-c 
libmysqlclient is no longer included in mariadb itself
 2017-12-29 02:18:35 +01:00
Robin Gloster
a960f1931b mariadb: more lib -> connector-c 2017-12-29 02:18:35 +01:00
Joe Doyle
e9886dde9b csfml: init at 2.4 (#33000) 2017-12-28 22:04:02 +01:00
hyphon81
05573d3e06
nccl: init at 1.3.4-1 2017-12-28 17:46:52 +01:00
Christoph Hrdinka
47a71e9426
pg_tmp: init at 2.3 
Signed-off-by: Christoph Hrdinka <c.github@hrdinka.at>
 2017-12-28 13:50:06 +01:00
Peter Hoeg
7798051817
Merge pull request #32927 from peterhoeg/u/kdeapp 
kde-applications: 17.08.3 -> 17.12.0
 2017-12-28 08:22:27 +08:00
John Ericson
b3df1562d8 Merge branch 'alt-stdenv' into staging 2017-12-27 17:20:32 -05:00
John Ericson
ad1a1ee7dd
Merge pull request #33087 from obsidiansystems/alt-stdenv 
treewide: Clean up multi-arch tools and usage
 2017-12-27 13:45:24 -08:00
John Ericson
831c71eea3 top level: Clean up definitions of alternative stdenvs 
- Dispatch off more appropriate conditions---`stdenv.cc.is*` and
   `hostPlatform.is*` directly---rather than the OS as a proxy.

 - Don't worry about pulling in binutils from normal `stdenv.cc` for
   `gccMultiStdenv`.

 - Defining a `multiStdenv` that uses whatever compiler is default.

 - Define `stdenv_32bit` in terms of `multiStdenv`.
 2017-12-27 15:15:41 -05:00
Owen Lynch
afd198f0f4 mitschemeX11: init at 9.2 2017-12-26 22:32:23 -05:00
Owen Lynch
ee4aa56320 denemo: init at 2.2.0 2017-12-26 21:52:06 -05:00
Justin Wood
6af1a08e9b Elixir: init 1.6-rc.0 (#33034) 2017-12-26 16:53:24 -05:00
John Ericson
f5fc1ff344 top level: Stop hacking around #28223 
Clang stdenvs with either libc++ should work now.
 2017-12-26 15:26:55 -05:00
Tuomas Tynkkynen
47c782f7f5 Merge remote-tracking branch 'upstream/master' into staging 2017-12-26 21:10:12 +02:00
Graham Christensen
7635a70fc4
Merge pull request #33029 from sifmelcara/update/crystal-0.24.1 
crystal: 0.23.1 -> 0.24.1
 2017-12-25 14:12:23 -05:00
Joachim F
68eb89313e
Merge pull request #32325 from jraygauthier/jrg/swagger-codegen 
swagger-codegen: Init at 2.2.1
 2017-12-25 13:31:50 +00:00
markuskowa
31637d0941 nrsc5: init at 20171129 (#32926) 2017-12-25 13:21:54 +00:00
Vladimír Čunát
0e762cdc0e
Merge older staging branch 2017-12-25 10:36:36 +01:00
Yegor Timoshenko
46edd63af9
easyrpg-player: init at 0.5.3 2017-12-25 02:28:19 +00:00
Yegor Timoshenko
1c58e91a40
liblcf: init at 0.5.3 2017-12-25 02:27:51 +00:00
mingchuan
5a1d309787 crystal: 0.23.1 -> 0.24.1 2017-12-25 00:53:29 +08:00
Jan Tojnar
ae03a11c86 liblouis: init at 3.4.0 2017-12-24 15:11:04 +01:00
Joachim F
395f2dd67e
Merge pull request #32861 from romildo/new.ibm-plex 
ibm-plex: init at 0.5.3
 2017-12-24 13:36:08 +00:00
gnidorah
c70ba3d511 kgocode-kde4: drop 2017-12-24 12:54:19 +03:00
gnidorah
22596e8995 breeze-qt4: drop 2017-12-24 12:54:04 +03:00
Luke Adams
1852176d2e dolphinEmuMaster: move inputs to nativeBuildInputs 
- add Darwin inputs
- Add curl to prevent in-tree build
- add libpng hidapi wxgtk for dolphin to use
 2017-12-23 22:31:15 -08:00
Luke Adams
a5d44f6631 wxGTK31: init at 3.1 
wxgtk31: overrideattrs
 2017-12-23 22:31:15 -08:00
Orivej Desh
d7e6066c71
Merge pull request #32785 from davidak/elementary-gtk-theme 
elementary-gtk-theme: init at 5.1.1
 2017-12-24 01:01:04 +00:00
Orivej Desh
cc8705dcc6
Merge pull request #32417 from oxij/pkg/ratox 
ratox: 0.2.1 -> 0.4
 2017-12-23 23:07:51 +00:00
Michael Raskin
428708feba scowl: init at 2017.08.24 2017-12-23 20:26:48 +01:00
Michael Raskin
fac4de6aa2 perl526: init at 5.26.1 2017-12-23 20:26:48 +01:00
Jan Tojnar
976726706d
Merge pull request #33001 from jtojnar/gimp-2.10-prep 
Preparation for GIMP 2.10
 2017-12-23 18:55:14 +01:00
Tuomas Tynkkynen
98ef3b8a93 Merge remote-tracking branch 'upstream/master' into staging 2017-12-23 17:41:48 +02:00
Michael Weiss
bcfe03cc12 wlroots: 2017-10-31 -> 2017-12-22 + Init rootston 2017-12-23 14:02:59 +01:00
Jan Tojnar
407721b73b
libmypaint: init at 1.3.0 2017-12-23 05:38:06 +01:00
Florian Klink
bae218e7b5 ubootClearfog: add 2017-12-23 04:31:11 +02:00
Orivej Desh
e3d7e45651
Merge pull request #32694 from yegortimoshenko/SkypeExport/init 
SkypeExport: init at 1.4.0
 2017-12-23 02:06:15 +00:00
gnidorah
aa8962a6b9 kdelibs: drop 2017-12-22 15:21:00 +03:00
gnidorah
4528ebbaeb kde4: drop 2017-12-22 15:19:52 +03:00
gnidorah
ae806fd27c psi: kde4 is no more 2017-12-22 15:19:46 +03:00
gnidorah
03f2f8524a uim: drop kde4 parts 2017-12-22 15:19:37 +03:00
gnidorah
6236dd8e2d kadu-kde4: drop 2017-12-22 15:19:22 +03:00
gnidorah
a4c0c4a9b0 calligra-kde4: drop 2017-12-22 15:19:16 +03:00
gnidorah
6c317b62a3 amarok-kde4: drop 2017-12-22 15:19:11 +03:00
Anders Kaseorg
4ef36bf654 winusb: unstable-2017-01-30 -> woeusb 3.1.4 
WinUSB was renamed to WoeUSB
(https://github.com/slacka/WoeUSB/issues/100).

Also, put mount points in /run instead of /tmp to sidestep security
considerations with /tmp.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
 2017-12-22 03:32:44 -05:00
Tristan Carel
d8a1b34c8e boost166: init at 1.66.0 2017-12-22 09:24:34 +01:00
Jan Tojnar
5fc5a9f399
gimp: remove libart dependency 
The dependency is not needed since 2.5.1
 2017-12-21 23:48:54 +01:00
Vladimír Čunát
a7d4fb8e1d
Merge branch 'master' into staging 
Hydra: ?compare=1420346
 2017-12-21 22:45:40 +01:00
Christian Kögler
b0a57e31a5 welle-io: init at 1.0-rc1 2017-12-21 19:22:17 +00:00
gnidorah
b9851a975e Make less known wayland compositors usable (#32285) 
* bemenu: init at 2017-02-14

* velox: 2015-11-03 -> 2017-07-04

* orbment, velox: don't expose subprojects

the development of orbment and velox got stuck
their subprojects (bemenu, dmenu-wayland, st-wayland) don't work correctly outside of parent projects
so hide them to not confuse people
swc and wld libraries are unpopular and unlike wlc are not used by anything except velox

* pythonPackages.pydbus: init at 0.6.0

* way-cooler: 0.5.2 -> 0.6.2

* nixos/way-cooler: add module

* dconf module: use for wayland

non-invasive approach for #31293
see discussion at #32210

* sway: embed LD_LIBRARY_PATH for #32755

* way-cooler: switch from buildRustPackage to buildRustCrate #31150
 2017-12-21 16:16:19 +00:00
Jörg Thalheim
36e8ea58c9
Merge pull request #32936 from andir/add-gopass 
gopass: init at 1.6.6
 2017-12-21 16:22:20 +01:00
Mario Rodas
644a404688 libsoundio: Fix build on darwin 2017-12-21 13:42:17 +00:00
Orivej Desh
127d3ef16d
Merge pull request #32904 from asymmetric/asymmetric/libbitcoin 
libbitcoin: 2.11.0 -> 3.4.0
 2017-12-21 13:36:46 +00:00
Andreas Rammhold
057d70ffec
gopass: init at 1.6.6 2017-12-21 12:20:07 +01:00
Peter Hoeg
8a1525833a kget: 20170903 -> 17.12.0 2017-12-21 16:50:07 +08:00
Vladimír Čunát
c303047032
fetchurl on Darwin: gssSupport = false (see 9b54a00160) 
I can't see a better way around the problem for now.
 2017-12-21 09:34:44 +01:00
Bjørn Forsman
3168fcd07b apache-directory-studio: init at 2.0.0.v20170904-M13 
Changes v1 -> v2:
 * Move from 'applications/misc' to 'applications/networking' category.
 2017-12-21 08:53:36 +01:00
Lorenzo Manacorda
23ca8e1287 libbitcoin-network: init at 3.4.0 2017-12-21 02:51:11 +01:00
Lorenzo Manacorda
4fea55ef33 libbitcoin-protocol: init at 3.4.0 2017-12-21 01:21:57 +01:00
Orivej Desh
8c7e721467 mkShell: fix eval 2017-12-21 00:07:49 +00:00
zimbatm
adc5c9b83d
mkShell: add builder (#30975) 2017-12-20 23:42:07 +00:00
volth
400956bca3 protobuf2_5: restore to build Hadoop 
This partially reverts 1f2a18d916
 2017-12-20 23:05:24 +00:00
Jan Tojnar
53acbe8156
cligh: switch to Python 3 2017-12-20 23:10:45 +01:00
Orivej Desh
79adadb969 idris: fix eval after haskell upgrade 2017-12-20 09:50:05 +00:00
Peter Simons
ef84e822aa multi-ghc-travis: build fails with GHC 8.2.2; use 8.0.2 for now 2017-12-20 09:17:46 +01:00
Peter Simons
6f4c7aad38 pandoc: fix build of statically-linked top-level variant 2017-12-20 09:17:46 +01:00
Peter Simons
d5676b0433 switch "haskellPackages" to GHC 8.2.2 for LTS 10.x 2017-12-20 09:17:45 +01:00
Peter Simons
c9bed891f6 sane-backends: enable support for PNG 2017-12-20 09:16:54 +01:00
Orivej Desh
3445138387
Merge pull request #32833 from jtojnar/vala-cleanup 
Vala cleanup
 2017-12-20 03:40:33 +00:00
Orivej Desh
9c65f44a1d
Merge pull request #32872 from yegortimoshenko/20171219.232832/pup 
pup: rename attr go-pup -> pup, clean up, 20160425-e76307d -> 0.4.0, add meta
 2017-12-20 01:20:32 +00:00
Yegor Timoshenko
ec10cd528e
pup: rename attr, go-pup -> pup 2017-12-20 01:04:01 +00:00
Sander van der Burg
ab754a40a2 nodePackages: regenerate with node2nix 1.5.0 + add basic Node.js 8.x package set 2017-12-19 22:17:40 +01:00
José Romildo Malaquias
af1327a881 ibm-plex: init at 0.5.3 2017-12-19 18:17:52 -02:00
Orivej Desh
d045d62500
Merge pull request #32569 from magnetophon/blsd 
blsd: init at unstable-2017-07-27
 2017-12-19 18:42:01 +00:00
John Ericson
13acbeae0b Merge branch 'master' into staging 2017-12-19 11:40:18 -05:00
Jan Tojnar
c52e085d40
libunity: remove 2017-12-19 17:25:55 +01:00
Jan Tojnar
ae1b059987
vala_0_23: remove 2017-12-19 17:25:55 +01:00
Jan Tojnar
7f18bbb642
osinfo-db: init at 20170813 2017-12-19 17:25:53 +01:00
Jan Tojnar
0cdee78c81
osinfo-db-tools: init at 1.1.0 2017-12-19 17:25:53 +01:00
Jan Tojnar
527f075860
deepin-terminal: 2.6.1 → 2.9.2 2017-12-19 17:25:49 +01:00
Jan Tojnar
8eb81aa830
zssh: init at 1.5c 2017-12-19 17:17:20 +01:00
Jan Tojnar
369cc87a74
gencfsm: 1.8.18 → 1.8.19 2017-12-19 17:17:20 +01:00
Jan Tojnar
12d081f787
libskk: 1.0.2 → 1.0.3 2017-12-19 17:17:20 +01:00
Vladimír Čunát
9b54a00160
Merge #29785: curl: enable kerberos 2017-12-19 15:18:24 +01:00
Vladimír Čunát
3c51628a4c
fetchurl: switch to the usual curl 
I verified that krb5 doesn't need yacc in lib-only build,
simplifying the circular-reference cut.
 2017-12-19 15:17:52 +01:00
Vladimír Čunát
4a2340ff6b
Merge branch 'staging' 2017-12-19 10:27:13 +01:00
Vincent Laporte
b4551924b1
Merge pull request #32737 from vbgl/coq-packages-filter 
Tidy up the Coq package sets
 2017-12-19 10:15:31 +01:00
Bart Brouns
72c5514202 blsd: init at 2017-07-27 2017-12-19 09:40:01 +01:00
Orivej Desh
e2c8655405 ld-is-cc-hook: init 
This hook sets LD to CC, for use with software that works as if LD=$CC when LD
is unset, and does not work when LD=ld.
 2017-12-19 01:45:42 +00:00
Tuomas Tynkkynen
fa822161b9 bmap-tools: init at 3.4 2017-12-19 01:12:14 +02:00
Benjamin Staffin
4ec5c79d60
signal-desktop-beta: init at 1.1.0-beta.5 (#32619) 
Signal is a bit like google-chrome, wherein the beta version
is independent from the release builds and uses different data
locations and binary names.
 2017-12-18 17:20:57 -05:00
Orivej Desh
964008db40
Merge pull request #32745 from davidak/elementary-xfce 
elementary-xfce-icon-theme: init at 2017-11-28
 2017-12-18 16:13:49 +00:00
Orivej Desh
7c58e8dfc2 Merge branch 'master' into staging 
* master: (125 commits)
  scummvm: fix eval
  tinycc: 0.9.27pre-20171016 -> 0.9.27
  Update terraform provider versions
  vscode: 1.18.1 -> 1.19.0
  linux: 4.14.6 -> 4.14.7
  scummvm: 1.9.0 -> 2.0.0
  cmst: 2017.03.18 -> 2017.09.19
  albert: 0.14.7 -> 0.14.14
  obs-studio: fix vlc plugin
  ffmpeg, ffmpeg-full: 3.4 -> 3.4.1
  uchiwa: 0.26.3 -> 1.1.0
  linux-testing: 4.15-rc3 -> 4.15-rc4
  steam: override nss, nspr, fixes #32781
  ponyc: 0.20.0 -> 0.21.0
  pythonPackages.pwntools: disable tests
  gnome3.gnome-tweak-tool: 3.26.3 → 3.26.4
  vim-rhubarb: init at 2017-06-28
  atom: depend on libsecret
  nvidia-settings: Make sure binary can find libXv.so
  backblaze-b2: 0.6.2 -> 1.1.0
  ...
 2017-12-18 15:56:03 +00:00
Vincent Laporte
d9f41a5bce
coqPackages: move to a separate file and filter the package set 2017-12-18 15:30:36 +00:00
Jörg Thalheim
fe94055915
Merge pull request #32642 from rycee/bump/electron-cash 
electron-cash: 2.9.4 -> 3.0
 2017-12-18 10:26:52 +00:00
Peter Hoeg
38d8bcd7ac vala: patch releases for 0.23, 0.28, 0.34, 0.36 and 0.38 2017-12-18 15:27:20 +08:00
Orivej Desh
2366009845
Merge pull request #32690 from thanegill/airtame-init 
airtame: init at 3.0.1
 2017-12-18 01:20:26 +00:00
Jan Tojnar
0a8b47d709
Merge pull request #32749 from jtojnar/gnome-gtk2-cleanup 
Minor GNOME cleanups
 2017-12-18 02:18:42 +01:00
davidak
bf75e9b57a elementary-gtk-theme: init at 5.1.1 2017-12-18 01:44:57 +01:00
davidak
9833b918c7 elementary-xfce-icon-theme: init at 2017-11-28 2017-12-18 00:33:47 +01:00
Jan Malakhovski
ea477463a2 libtoxcore-old: remove unused derivation 2017-12-17 14:33:45 +00:00
SLNOS
205d7f6297 ratox: 0.2.1 -> 0.4 2017-12-17 14:33:45 +00:00
David Tulig
ead4eca0b6 backblaze-b2: 0.6.2 -> 1.1.0 2017-12-17 14:13:42 +00:00
Mateusz Kowalczyk
32a00e9290 lightdm-gtk-greeter: 2.0.1 -> 2.0.3 2017-12-17 13:58:47 +00:00
Jörg Thalheim
0643952fa5
Merge pull request #32375 from volth/oracle-jdk-remove-redundand-asserts 
oraclejdk: remove redundant asserts
 2017-12-16 23:20:45 -08:00
Orivej Desh
fe9bf3ed23
Merge pull request #32648 from berce/upstream-kicad 
kicad: init unstable at version 2017-12-11
 2017-12-17 05:03:29 +00:00
Orivej Desh
d6b27ad35f
Merge pull request #32419 from ryneeverett/init-lynis 
lynis: init at 2.5.7
 2017-12-17 04:32:36 +00:00
ryneeverett
eda63dfabb lynis: init at 2.5.7 2017-12-17 04:31:12 +00:00
Eshin Kunishima
8b07461072 myrica: init at 2.011.20160403 2017-12-17 04:14:53 +00:00
Jan Tojnar
224853d4dc
libcanberra: init without gtk 2017-12-17 02:54:24 +01:00
Thane Gill
51c0ddc9e1 airtame: init at 3.0.1 2017-12-17 00:56:40 +00:00
Orivej Desh
d8f668c7b3
Merge pull request #32643 from kini/drat-trim 
drat-trim: init at 2017-08-31
 2017-12-17 00:31:25 +00:00
Keshav Kini
7b6b074829 drat-trim: init at 2017-08-31 
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work.  It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
 2017-12-17 00:27:52 +00:00
Bert Moens
5e0344dce9 kicad: add support for oce, ngspice and scripting 2017-12-17 00:20:45 +00:00
Bert Moens
af5272f599 kicad: add unstable version 2017-12-17 00:10:28 +00:00
Orivej Desh
b56e3f7125
Merge pull request #32716 from rehno-lindeque/pgbouncer-1.7.2 
pgbouncer: init at 1.7.2
 2017-12-17 00:01:37 +00:00
Rehno Lindeque
5eed143036 pgbouncer: init at 1.7.2 2017-12-16 23:57:31 +00:00
Orivej Desh
2f44fbc786
Merge pull request #32696 from yegortimoshenko/ccd2iso/init 
ccd2iso: init at 0.3
 2017-12-16 22:43:46 +00:00
Yegor Timoshenko
f06c031173 ccd2iso: init at 0.3 2017-12-16 22:41:50 +00:00
Gabriel Ebner
0e37c90d88 biber: add missing dependencies 2017-12-16 14:44:06 +01:00
John Wiegley
40627000f7 coq_8_7: 8.7.0 -> 8.7.1 2017-12-15 22:09:15 -08:00
Orivej Desh
dc89304d4d
Merge pull request #32733 from jtojnar/pinentry-1.1 
pinentry: 1.0.0 → 1.1.0
 2017-12-16 03:54:50 +00:00
Jan Tojnar
bd0d521774
pinentry: override pinentry_ncurses instead of the other way around 2017-12-16 04:39:29 +01:00
Jan Tojnar
ba67110de3
pinentry_qt: merge into pinentry 2017-12-16 03:26:30 +01:00
Vladimír Čunát
0990b2c7fd
Revert "Reverting #32599" 
This reverts commit 15d3d68a5e.
The PR is moved from master to staging.
 2017-12-15 22:10:12 +01:00
Vladimír Čunát
3b36161935
Merge branch 'master' into staging 2017-12-15 22:09:44 +01:00
Rok Garbas
15d3d68a5e
Reverting #32599 2017-12-15 21:52:49 +01:00
Vladimír Čunát
24d81d6332
Merge branch 'master' into staging 2017-12-15 21:40:23 +01:00
Peter Hoeg
da864e5976 libva-utils: init at 2.0.0 2017-12-15 20:57:17 +01:00
Jörg Thalheim
5687f61b19
Merge pull request #32637 from makefu/pkgs/openstack/nuke 
nuke openstack (again)
 2017-12-15 10:06:23 -08:00
Gabriel Ebner
101b4ec546 biber: 2.5 -> 2.7 
Fixes #32715.
 2017-12-15 19:02:28 +01:00
Matthias Beyer
826e8a2a3b smenu: init at 0.9.10 2017-12-15 17:09:27 +01:00
makefu
269d8a17b5
openstack module: rip 
part of openstack cleanup
 2017-12-15 16:08:38 +01:00
makefu
7d5692c9ed
neutron: rip 
part of openstack cleanup
 2017-12-15 16:08:37 +01:00
makefu
71767ee3c7
glance: rip 
part of openstack cleanup
 2017-12-15 16:08:10 +01:00
makefu
d3d94992cf
keystone: rip 
part of openstack cleanup
 2017-12-15 16:06:44 +01:00
Robert Helgesson
edd40e7e7a
electron-cash: 2.9.4 -> 3.0 2017-12-15 14:58:43 +01:00
Graham Christensen
13d80cbab4
Merge pull request #32697 from yrashk/camlistore-perkeep 
camlistore: 0.9 -> perkeep 20170505
 2017-12-15 08:04:34 -05:00
Antoine Eiche
df40f4371d cassandra: 3.0.9 -> 3.11.1 release 
We still keep the 3.0.9 attribute to have a stable 3.x release.
 2017-12-15 11:28:12 +01:00
John Wiegley
2e93f93b2a z3_4_5_0: New expression, to access the release version's API 2017-12-14 23:32:37 -08:00
John Wiegley
d1532bc6c6 coqPackages.category-theory: New expression 2017-12-14 23:32:37 -08:00
John Wiegley
0042a343b4 coqPackages.coq-haskell: New expression 2017-12-14 23:32:37 -08:00
Yurii Rashkovskii
13b30b26ad camlistore: 0.9 -> perkeep 20170505 
camlistore has been renamed to perkeep
 2017-12-15 04:24:18 +00:00
Yegor Timoshenko
d4ed769925 SkypeExport: init at 1.4.0 2017-12-15 02:06:45 +00:00
Jörg Thalheim
0d9343bd4e
Merge pull request #32668 from dtzWill/feature/retdec 
retdec: init at 3.0(.0)
 2017-12-14 13:38:36 -08:00
Jörg Thalheim
26012087e9
Merge pull request #32611 from cransom/gitless 
gitless: init at 0.8.5
 2017-12-14 11:58:01 -08:00
Orivej Desh
9f5b8aaec4 thefuck: 3.18 -> 3.25 
Fixes #32670
 2017-12-14 17:31:25 +00:00
Franz Pletz
2754d1a8c3
xmr-stak module: init 2017-12-14 16:03:09 +01:00
Franz Pletz
e520a8cc0d
hwloc: 1.11.6 -> 1.11.8 
Also introduces multiple outputs and a version without X11 dependencies.
 2017-12-14 16:03:09 +01:00
Will Dietz
31ea4edf00 retdec: init at 3.0(.0) 2017-12-14 08:50:47 -06:00
Orivej Desh
502bc9b524
Merge pull request #32646 from dotlambda/cutemaze 
cutemaze: init at 1.2.1
 2017-12-14 14:38:22 +00:00
Hoàng Xuân Phú
d481f9aea1 terraform: set default version to 0.11 (#32652) 2017-12-14 14:04:42 +00:00
Robert Schütz
c8880764fb cutemaze: init at 1.2.1 2017-12-14 11:37:28 +00:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27 
ott: 0.25 -> 0.27
 2017-12-14 09:07:46 +01:00
Casey Ransom
b401087dff gitless: init at 0.8.5 2017-12-13 20:45:33 -05:00
Robert Schütz
cc8254ae9b recoverjpeg: init at 2.6.1 2017-12-13 23:56:02 +01:00
John Ericson
a0b1ebeee9 Merge remote-tracking branch 'upstream/staging' into binutils-wrapper 2017-12-13 16:14:47 -05:00
John Ericson
7ef4448c97 Merge commit '9d8f9b2e531bf95a700a949d879927fb6996ffc9' into binutils-wrapper 2017-12-13 16:08:36 -05:00
John Ericson
2bba929062 bintools-wrapper: Import separately from cc-wrapper 2017-12-13 16:08:18 -05:00
John Ericson
8e557ed2c5 bintools-wrapper: Init 
Factor a bintools (i.e. binutils / cctools) wrapper out of cc-wrapper. While
only LD is wrapped, the setup hook defines environment variables on behalf of
other utilites.
 2017-12-13 16:08:18 -05:00
makefu
5369400bb0
nova: rip 
part of openstack cleanup
 2017-12-13 18:16:29 +01:00
volth
45121d9dfc
Merge branch 'master' into oracle-jdk-remove-redundand-asserts 2017-12-13 07:02:42 +00:00
Graham Christensen
105d9519c1
Merge remote-tracking branch 'origin/master' into staging 2017-12-12 20:06:36 -05:00
Michael Raskin
04d3d19158
Merge pull request #32614 from jtojnar/empathy 
empathy: re-init
 2017-12-12 21:16:19 +00:00
Jan Tojnar
779a0388fc
gnome3.empathy: re-init at 3.12.14 2017-12-12 21:29:07 +01:00
Vladimír Čunát
c2b679516f
Merge branch 'master' into staging 2017-12-12 21:08:16 +01:00
Sarah Brofeldt
8f8b9f1a50
Merge pull request #32597 from Enzime/add/syncplay 
Add syncplay 1.5.0
 2017-12-12 20:54:11 +01:00
Michael Hoang
a1ab4788dd syncplay: init at 1.5.0 2017-12-13 00:06:12 +11:00
Pierre-Étienne Meunier
4348b7f2d0 carnix: init at 0.5.0 
fixes #31150
 2017-12-12 04:59:12 -06:00
Pierre-Étienne Meunier
5a0d954156 add buildRustCrate function to build rust crates 2017-12-12 04:58:45 -06:00
Pierre-Étienne Meunier
ea232fe29d add fetchCrate function to fetch rust crates 2017-12-12 04:58:45 -06:00
Joachim F
90accc093e
Merge pull request #32216 from LumiGuide/networkmanager-strongswan 
networkmanager_strongswan: fix package
 2017-12-11 23:26:21 +00:00
Joachim F
e5d35342b8
Merge pull request #32368 from rvl/saxons 
New versions of Saxon XSLT Processor
 2017-12-11 23:24:47 +00:00
Tuomas Tynkkynen
bedc18c461 U-Boot: Add ubootQemuArm 2017-12-12 01:16:10 +02:00
Izorkin
cfe1a52f22 libmodsecurity: init at 3.0.0-2017-11-17 (#32075) 2017-12-11 22:23:02 +00:00
Will Dietz
62cd4f1389 clang_multi: fix incorrect leftover use of "callPackages" 
Addresses problem identified by @orivej:
https://github.com/NixOS/nixpkgs/pull/32215#issuecomment-350600045
 2017-12-11 12:13:50 -06:00
Vincent Laporte
b212125b54
Merge pull request #32250 from vbgl/coq-clean 
coq_HEAD, coqPackages_8_4: remove
 2017-12-11 18:13:24 +01:00
Samuel Dionne-Riel
262514a3c7 U-Boot: Adds Orange Pi PC build 2017-12-11 19:05:15 +02:00
Jörg Thalheim
8684861a08
Merge pull request #32560 from manveru/calamares 
calamares: init at 3.1.10
 2017-12-11 14:13:38 +00:00
Michael Fellinger
b70a0bd08f Revive calamares 2017-12-11 14:15:47 +01:00
Franz Pletz
c65107068e
xmr-stak: init at 2.0.0 2017-12-11 04:23:46 +01:00
Orivej Desh
bf132e6464 gnuplot_qt: Qt 4 -> Qt 5 2017-12-10 19:30:57 +00:00
Orivej Desh
e21e752caf libcerf: init at 1.5 
squash! libcerf: init at 1.5

squash! libcerf: init at 1.5
 2017-12-10 19:30:57 +00:00
Michael Fellinger
3abcc2c514 Revert "calamares: remove due to being broken and insecure." 
This reverts commit c677c35922.
 2017-12-10 16:59:33 +01:00
Orivej Desh
dd604d575f Merge branch 'master' into staging 
* master: (39 commits)
  pythonPackages: rename dns -> dnspython
  awesome: fix LUA_PATH/LUA_CPATH to lgi [now for version 3.5]
  qt4: fix qmake on darwin and delete custom install phase
  python.buildEnv: always include the $out output
  nix-bash-completions: lazy load aware install
  borg: 1.1.1 -> 1.1.3
  nixos/programs/bash: document that /etc/bash_completion.d is obsolete
  ocamlPackages.markup: 0.7.4 -> 0.7.5
  hhvm: 3.21 -> 3.23.2
  ocamlPackages.ulex: 1.1 -> 1.2
  notmuch: 0.25.2 -> 0.25.3
  gmime3: 3.0.1 -> 3.0.5
  qt4: fix darwin install phase
  nixos/programs/bash: Let bash-completion lazy load scripts
  Revert "gmime: 3.0.1 -> 3.0.5"
  rawtherapee: delete unused files
  pythonPackages: rename dns -> dnspython
  nixpkgs: remove sqlite/kyotocabinet deps for leveldb
  tor-browser-bundle-bin: 7.0.10 -> 7.0.11
  networkmanager: remove restart after suspend from resume
  ...
 2017-12-10 15:24:30 +00:00
Vincent Laporte
1ccd3b9755
ott: 0.25 -> 0.27 2017-12-10 11:49:05 +00:00
Vincent Laporte
d98d944d5d
Merge pull request #32494 from mpickering/ber-metaocaml2 
ber_metaocaml: (re)init at 104
 2017-12-10 12:36:30 +01:00
Orivej Desh
fc930e055a rawtherapee: delete unused files 2017-12-10 08:44:04 +00:00
Orivej Desh
8e2f912b65
Merge pull request #32526 from andir/rawtherapee-git-removal 
rawtherapee-git: remove `-git` version
 2017-12-09 22:19:45 +00:00
Orivej Desh
926aaa4870
Merge pull request #32215 from dtzWill/feature/clang-multilib 
multilib-capable clang, multilib tests
 2017-12-09 21:41:54 +00:00
Andreas Rammhold
241f3bb673
rawtherapee-git: remove -git version 
As discussed in #32337 the `-git` version is outdated since a while and
doesn't compile with modern compilers anymore.

closes #32337
 2017-12-09 22:04:33 +01:00
Orivej Desh
d61b1cee5c
Merge pull request #32522 from bhipple/python-cryptop-0.2 
cryptop: 0.1 -> 0.2
 2017-12-09 20:59:15 +00:00
Orivej Desh
d1e3e83d67 cryptop: alias to altcoins.cryptop 2017-12-09 20:53:04 +00:00
Orivej Desh
88f7171fe0
Merge pull request #32519 from mbode/kontemplate_1_3_0 
kontemplate: init at 1.3.0
 2017-12-09 20:33:18 +00:00
Maximilian Bode
473c295dbb kontemplate: init at 1.3.0 2017-12-09 20:10:05 +01:00
Orivej Desh
c7bf1b8a0e
Merge pull request #32036 from mbode/flink-1_3_2 
flink: init at 1.3.2
 2017-12-09 17:53:57 +00:00
Jörg Thalheim
82235b388c
Merge pull request #32437 from vbgl/ocaml-facile-1.1.3 
facile: 1.1 -> 1.1.3
 2017-12-09 16:19:52 +00:00
Sarah Brofeldt
e32a2b4695
Merge pull request #32458 from elitak/vncdo 
vncdo: init at 0.11.2
 2017-12-09 16:54:59 +01:00
Daiderd Jordan
b2e2490181
Merge pull request #32454 from andir/erlang-cleanup 
Erlang cleanup (remove R17, R16 cleanup, updated couchdb to R19)
 2017-12-09 14:48:56 +01:00
Matthew Pickering
9a072a466c Remove broken ber-metaocaml-003 attribute 2017-12-09 12:18:06 +00:00
Matthew Pickering
08dfb95673 ber_metaocaml: (re)init at 104 2017-12-09 12:18:05 +00:00
Orivej Desh
5ce5ef06ab
Merge pull request #32462 from magnetophon/fluidsynth 
fluidsynth: 1.1.6 -> 1.1.8
 2017-12-09 10:37:09 +00:00
Bart Brouns
95ef6622a7 fluidsynth: 1.1.6 -> 1.1.8 2017-12-09 10:15:46 +00:00
markuskowa
66da9b9f8f gpredict: init at 1.3 (#32436) 2017-12-09 09:45:29 +00:00
Jörg Thalheim
3a20229361
Merge pull request #32484 from magnetophon/qsampler 
qsampler: svn-2342 -> 0.4.3
 2017-12-09 09:22:38 +00:00
Orivej Desh
40950f6a2d
Merge pull request #31006 from florianjacob/prosody 
Improvements for Prosody
 2017-12-09 09:19:24 +00:00
Sarah Brofeldt
6edcc25c6e
Merge pull request #32153 from yuriaisaka/pr-fcitx-skk-init 
fcitx-skk: init at 0.1.4
 2017-12-09 10:03:44 +01:00
Bart Brouns
9b1ba6515a qsampler: svn-2342 -> 0.4.3 2017-12-09 02:04:45 +00:00
Orivej Desh
d87976c19f linuxsampler: svn-2340 -> 2.1.0 2017-12-09 02:04:45 +00:00
Bart Brouns
c6fd8415a6 timbreID: 0.6.0 -> 0.7.0 2017-12-09 00:32:54 +01:00
Bart Brouns
59782d8bff qsynth: 0.3.9 -> 0.4.4 2017-12-08 21:53:27 +01:00
Eric Litak
19126daab3 vncdo: init at 0.11.2 2017-12-08 10:43:14 -08:00
Joachim F
11d0cccf56
Merge pull request #32421 from caugner/zilla-slab 
zilla-slab: init at 1.002
 2017-12-08 16:10:46 +00:00
Andreas Rammhold
14f1698649
erlangR17: removed outdated & unused version 
erlangR17 doesn't receive any upstream updates anymore and none of our
packages depend on it.
 2017-12-08 15:06:01 +01:00
Andreas Rammhold
8e2f11ee51
couchdb: use erlangR19 instead of erlangR17 
erlangR17 is no longer receiving any kind of (security) patches,
switching to R19 should be fine as per the couchdb documentation [1]

[1] http://docs.couchdb.org/en/2.1.1/install/unix.html#dependencies
 2017-12-08 15:06:00 +01:00
Pascal Wittmann
b00f806ed0
Merge pull request #32400 from vbgl/ocamlnet-4.1.5 
ocamlPackages.ocamlnet: 4.1.4 -> 4.1.5
 2017-12-08 10:32:03 +01:00
Vincent Laporte
01f473c8d1
facile: 1.1 -> 1.1.3 
Move to ocamlPackages.
Add a META file to use with ocamlfind
 2017-12-08 06:12:26 +00:00
Claas Augner
8569087a53
zilla-slab: init at 1.002 2017-12-07 20:48:39 +01:00
Pascal Wittmann
ae7e3a3a41
Merge pull request #32378 from markuskowa/master 
airspy: init at 1.0.9
 2017-12-07 12:38:38 +01:00
Orivej Desh
c9a03d9b48 premake5: fix build on darwin 2017-12-07 09:41:46 +00:00
Izorkin
3025eb446b
mydumper: init at 0.9.3 2017-12-07 09:41:32 +08:00
Vincent Laporte
d3e488c3a3
nettle: remove at 3.3 2017-12-06 20:39:41 +00:00
Patrick Chilton
38e2228a35 meshlab: 1.3.3 -> 2016.12 2017-12-06 20:45:38 +01:00
José Romildo Malaquias
0226077169
gcal: init at 4.1 2017-12-06 12:01:50 +01:00
Peter Hoeg
acab619ba0 freeorion: 0.4.6 -> 0.4.7.1 
Also compile against latest boost.
 2017-12-06 16:50:42 +08:00
Markus Kowalewski
e832834a14 airspy: init at 1.0.9 2017-12-06 00:37:05 -08:00
John Doe
683337d5f5 oraclejdk: remove redundant asserts 2017-12-06 07:43:22 +00:00
Jan Tojnar
fcd04a9ae5
Merge pull request #24986 from johnramsden/master 
onboard: 1.4.1
 2017-12-06 06:36:58 +01:00
adisbladis
b9aaab9634
Merge pull request #32367 from peterromfeldhk/softhsm-darwin 
softhsm: darwin support
 2017-12-06 12:01:35 +08:00
Rodney Lorrimar
e6f1618dbc saxon-he: init at 9.8.0.6 2017-12-06 03:59:20 +00:00
Rodney Lorrimar
e970236591 saxonb_9_1: init at 9.1.0.8 
saxonb_8_8 is kept as default saxonb because the newer version is not
a completely compatible replacement.

https://www.saxonica.com/documentation/#!changes/xslt20/8.8-9.1
 2017-12-06 03:52:20 +00:00
Rodney Lorrimar
d0cd7a0999 saxons: refactor common builder code 
Also add myself as maintainer.
 2017-12-06 03:51:32 +00:00
Peter Romfeld
e4ce67615e softhsm: darwin support 2017-12-06 11:51:28 +08:00
John Ramsden
58b281c3fb
onboard: init at 1.4.1 
Add testing reqs, but keep tests disabled

Tests are runnable but still produce errors.

To get tests working, add locale setting, replace killall
and add nose package. To run the tests enable 'doCheck'.

Hunspell needs to be explicitly installed to use.

Patch SpellCheck.py to put hunspell in system datadir location.
For example, '/var/run/current-system/sw/share/hunspell/'
or '${HOME}/.nix-profile/share/hunspell/'

To get rid of atspi errors set
'services.gnome3.at-spi2-core.enable = true'
 2017-12-05 18:53:33 -08:00
Michael Raskin
a32b941425
Merge pull request #32210 from gnidorah/gapps 
wrapGAppsHook: use it for some more packages
 2017-12-05 20:52:31 +00:00
Peter Simons
c722252251 idris: update overrides for new 1.1.1 default version 2017-12-05 21:01:50 +01:00
Bert Moens
b8b7428a81 pcscd: add plugin for ACS ACR38U smart card reader 2017-12-05 20:11:17 +01:00
Austin Seipp
827142a7fa nixpkgs: add unicorn-emulator library 1.0.1 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-05 10:09:22 -06:00
John Doe
f38560a17b oraclejdk8: support aarch64 
[dezgeg amended the change to all-packages.nix]
 2017-12-05 15:48:25 +02:00
Will Dietz
9d8f9b2e53 Add clang multilib variants (x64_64-only, 64/32bit), basic multilib tests 2017-12-05 07:17:14 -06:00
Jörg Thalheim
322855603e
Merge pull request #32222 from markus1189/ddgr 
ddgr: init at 1.1
 2017-12-05 13:00:40 +00:00
Jörg Thalheim
7e6068c353
Merge pull request #32335 from makefu/pkgs/devpi-common/update 
init devpi-server at 4.3.1, bump devpi-client
 2017-12-05 12:44:02 +00:00
makefu
623f9c15e0
devpi-server: init at 4.3.1 2017-12-05 13:31:55 +01:00
Peter Simons
8d8061ec20
Revert "Revive multiple outputs for Haskell packages." 2017-12-05 09:36:08 +01:00
Fatih Altinok
e5e32822df flow: 0.59.0 -> 0.60.1 2017-12-05 08:04:58 +01:00
Raymond Gauthier
b23ff3e8b5 swagger-codegen: Init at 2.2.1 2017-12-04 18:30:32 -05:00
Joachim F
c0d7a054cb
Merge pull request #32274 from ThomasMader/dlang 
Improve dlang packages
 2017-12-04 23:02:11 +00:00
Markus Hauck
fd3d199c55 ddgr: init at 1.1 2017-12-04 18:30:38 +01:00
Peter Simons
7993e8790f
Merge pull request #32112 from nc6/hask-split-out 
Revive multiple outputs for Haskell packages.
 2017-12-04 12:36:45 +01:00
adisbladis
74857c9dce
Revert "linux_4_13: Remove, no longer supported." 
This reverts commit b39ab30ba7.

There are some show stopper issues in the 4.14 kernel that are still
not resolved.

https://github.com/NixOS/nixpkgs/issues/31640
 2017-12-04 09:59:11 +08:00
Tuomas Tynkkynen
b39ab30ba7 linux_4_13: Remove, no longer supported. 2017-12-03 23:20:08 +02:00
Tuomas Tynkkynen
17218f0bac Make callPackage_i686 fail on on-x86 
...instead of silently producing an i686 derivation.
 2017-12-03 17:17:34 +02:00
Domen Kožar
d64ba1c060
Add localtime package and nixos module 
Simple daemon for keeping system timezone up-to-date via geoclue2.

Sadly i3 status needs to be restarted for timezone changes.
 2017-12-03 11:42:51 +01:00
Thomas Mader
54f1b753b3 dmd: Enable tests and integrate bootstrap into one derivation 
- Merge bootstrap dmd into default derivation.
- Reenable all tests by using a fixed-output derivation for phobos tests because of network checks in sandbox mode.
- Adding supported platforms.
 2017-12-03 05:18:57 +01:00
Tuomas Tynkkynen
58307d15a7 Merge remote-tracking branch 'upstream/staging' into master 2017-12-03 01:49:14 +02:00
Tim Steinbach
4e7deb7100
linux-copperhead: 4.14.2.a -> 4.14.3.a 2017-12-02 14:01:14 -05:00
Vincent Laporte
464c63e8d4
coqPackages_8_4: remove 2017-12-02 08:55:01 +00:00
Vincent Laporte
da84fab60b
coqPackages_8_4.contribs: remove 2017-12-02 08:54:19 +00:00
Vincent Laporte
48aa378780
coqPackages_8_4.ynot: remove 2017-12-02 08:53:14 +00:00
Vincent Laporte
e8a316f17f
coqPackages_8_4.unimath: remove 2017-12-02 08:52:38 +00:00
Vincent Laporte
c1efbbab96
coqPackages_8_4.tlc: remove 2017-12-02 08:52:01 +00:00
Vincent Laporte
f6284c76da
coqPackages_8_4.ssreflect: remove 2017-12-02 08:51:36 +00:00
Vincent Laporte
f307634f9d
coqPackages_8_4.QuickChick: remove 2017-12-02 08:51:02 +00:00
Vincent Laporte
459860043a
coqPackages_8_4.paco: remove 2017-12-02 08:50:21 +00:00
Vincent Laporte
5b7e3de309
coqPackages_8_4.mathcomp: remove 2017-12-02 08:49:36 +00:00
Vincent Laporte
00a6d849f8
coqPackages_8_4.interval: remove 2017-12-02 08:48:41 +00:00
Vincent Laporte
1ba141bf18
coqPackages_8_4.heq: remove 2017-12-02 08:47:12 +00:00
Vincent Laporte
5bd0a09351
coqPackages_8_4.flocq: remove 2017-12-02 08:46:48 +00:00
Vincent Laporte
5a043e24da
coqPackages_8_4.fiat: remove 2017-12-02 08:46:16 +00:00
Vincent Laporte
13573cf129
coqPackages_8_4.domains: remove 2017-12-02 08:45:14 +00:00