Commit Graph

20709 Commits

Author SHA1 Message Date
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
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
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