Commit graph

24132 commits

Author SHA1 Message Date
Kim Burgess 6327ba8fbd teleconsole: init at 0.4.0 2018-10-11 20:24:12 +10:00
xeji 61e7e256c3
Merge pull request #48038 from tg-x/liquidsoap-1.3.4
liquidsoap: 1.1.1 -> 1.3.4
2018-10-10 22:54:41 +02:00
Free Potion b10940cd23
boohu: leave one package
There will be only one version of the package with
the fewest external dependencies.
2018-10-10 04:45:38 +03:00
Matthew Bauer 504953ed08
Merge pull request #47381 from freepotion/boohu-init
boohu: init at 0.10.0
2018-10-09 19:06:06 -05:00
Lassulus 0f2869a806 quickserve: init at 2018 (#48083) 2018-10-10 00:24:58 +01:00
Andreas Rammhold a00b820ddc
Merge pull request #47949 from yrashk/webkitgtk222x
webkitgtk222x: init at 2.22.2
2018-10-09 22:33:49 +02:00
Jörg Thalheim c0d1c41627
Merge pull request #48053 from Zimmi48/clean-up/ocaml
Remove old OCaml versions.
2018-10-09 19:47:41 +01:00
Théo Zimmermann c76ffb9253
matita: remove broken package
As requested by Vincent Laporte.
2018-10-09 09:47:31 +02:00
Renaud 81b851c6bc
Merge pull request #48048 from jb55/rapidcheck
rapidcheck: init at unstable-2018-09-27
2018-10-08 23:46:48 +02:00
Joachim F cbf93ba7e2
Merge pull request #47840 from magnetophon/tambura
tambura: init at 1.0
2018-10-08 20:02:28 +00:00
Matthew Bauer 01d8c222eb
Merge pull request #47516 from manveru/add-dbmate
dbmate: init at 1.4.1
2018-10-08 14:45:00 -05:00
Matthew Bauer 3cb179a4d0
Merge pull request #45997 from cryptix/add/systrayhelper
systrayhelper: init at 0.0.3
2018-10-08 14:42:45 -05:00
Joachim F e5135b933a
Merge pull request #47889 from magnetophon/FIL-plugins
FIL-plugins: init at 0.3.0
2018-10-08 19:39:13 +00:00
Joachim F 560473e5ce
Merge pull request #47890 from magnetophon/eteroj.lv2
eteroj.lv2: init at 0.4.0
2018-10-08 19:38:41 +00:00
Joachim F 213fab66c4
Merge pull request #47978 from gnidorah/midisheetmusic
midisheetmusic: init at 2.6
2018-10-08 19:38:24 +00:00
Joachim F 6bfc436433
Merge pull request #46743 from haslersn/any-nix-shell-1.1.0
any-nix-shell: init at 1.1.0
2018-10-08 19:38:07 +00:00
Théo Zimmermann 34394a38ef
ocamlPackages_3_11_2: remove
This requires removing also the Coq 8.3 and Matita 0.5.8 packages.

Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.

Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
2018-10-08 21:10:05 +02:00
Matthew Bauer 4e2a3cbafe
Merge pull request #47494 from zachcoyle/teamocil-1.4.2
teamocil: init at 1.4.2
2018-10-08 14:02:19 -05:00
Matthew Bauer 3d188ee320
Merge pull request #45605 from gnidorah/vk
vk-messenger: init
2018-10-08 13:59:27 -05:00
Matthew Bauer 7432fde1ad
Merge pull request #44920 from eadwu/init/lightdm-enso-os-greeter
lightdm-enso-os-greeter: init at 0.2.1
2018-10-08 13:54:31 -05:00
Michael Raskin fe8515de6e asymptote: apply upstream patch for compatibility with a newer boehmgc
As referenced in https://github.com/NixOS/nixpkgs/pull/45708#issuecomment-427840944
2018-10-08 21:38:14 +03:00
Joachim F 6787357bc2
Merge pull request #47960 from jhhuh/tinyemu
tinyemu: init at 2018-09-23
2018-10-08 18:19:24 +00:00
William Casarin de2f79467d rapidcheck: init at unstable-2018-09-27
rapidcheck is a C++ property-based testing framework inspired by QuickCheck

Signed-off-by: William Casarin <jb55@jb55.com>
2018-10-08 11:00:17 -07:00
Timo Kaufmann 9b90356044
Merge pull request #47979 from pacien/pkg-howl
howl: init at 0.5.3
2018-10-08 12:05:19 +02:00
Sarah Brofeldt ac35f4efee
Merge pull request #47414 from NoRedInk/add-aws-env
aws-env: init at 0.4
2018-10-08 11:52:47 +02:00
Peter Hoeg f07812b389
Merge pull request #48037 from peterhoeg/p/fbv
fbv: init at 1.0b
2018-10-08 17:39:54 +08:00
TG ⊗ Θ d2ce22caf0 liquidsoap: 1.1.1 -> 1.3.4 2018-10-08 11:30:27 +02:00
Peter Simons ab6f4d3652 systemd-wait: fix evaluation error 2018-10-08 11:27:53 +02:00
Peter Hoeg 0932acc622 fbv: init at 1.0b 2018-10-08 17:14:38 +08:00
Michael Raskin b669a45868 boehmgc: reinstate 7.6.6, use for asymptote
A quickfix after #45708
2018-10-08 12:04:53 +03:00
Marica Odagaki 1d8aa40898 aws-env: init at 0.4 2018-10-07 18:47:08 -08:00
Benjamin Staffin 641cb61ef7
jsonnet: skip building the website (#47981)
The emscripten build of jsonnet is only used in the interactive demo
found on jsonnet.org, and I don't think we need to include the whole
website in our package.  This reduces the transitive closure from
~100mb to ~32mb, and the build duration from ~8 minutes to ~20 seconds
on my machine.
2018-10-07 20:04:59 -04:00
pacien 6cc84ed1e4 howl: init at 0.5.3 2018-10-08 00:28:57 +02:00
Sarah Brofeldt e84a46a169
Merge pull request #47969 from kevincox/sewer
sewer: init at 0.6.0
2018-10-07 10:02:11 +02:00
Robert Helgesson 2f1e44859d
Merge pull request #47936 from benley/systemd-wait
systemd-wait: init at 0.1+2018-10-05
2018-10-06 22:39:28 +02:00
Ji-Haeng Huh 3115f8dffb tinyemu: init at 2018-09-23 2018-10-06 18:53:10 +00:00
gnidorah 0b13e8a341 midisheetmusic: init at 2.6 2018-10-06 21:44:15 +03:00
Free Potion 171752daee ivan: 053 -> 054 (#47950) 2018-10-06 16:59:26 +02:00
Jaka Hudoklin a134b9a3dd telepresence: 0.85 -> 0.93 (#47966) 2018-10-06 15:21:28 +02:00
Kevin Cox 011f1c7396
sewer: init at 0.6.0
sewer is an ACME client which supports DNS challenges with support for
various DNS servers.
2018-10-06 11:33:47 +01:00
Matthew Bauer 013bded602
Merge pull request #47911 from alyssais/webhook
webhook: init at 2.6.8
2018-10-05 22:55:14 -05:00
Matthew Bauer e78eacd6cd
Merge pull request #46770 from jluttine/carp-init
carp: init at unstable-2018-09-15
2018-10-05 22:43:05 -05:00
Matthew Bauer e4a6288b75
Merge pull request #46863 from siers/link-grammar
link-grammar: init at 5.5.0
2018-10-05 22:40:48 -05:00
Matthew Bauer c4f344ac44
Merge pull request #47291 from veprbl/pr/xfitter_init
xfitter: init at 2.0.0
2018-10-05 22:38:09 -05:00
Matthew Bauer 5e32c22611
Merge pull request #47287 from rokk4/ssocr
ssocr: init at 2018-08-11
2018-10-05 22:37:42 -05:00
Yurii Rashkovskii 9289920193
webkitgtk222x: init at 2.22.2 2018-10-05 17:46:30 -07:00
Benjamin Staffin 13883ff4bc systemd-wait: init at 0.1+2018-10-05 2018-10-05 17:22:44 -04:00
Alyssa Ross 7e3b43d75a
webhook: init at 2.6.8 2018-10-05 12:14:49 +01:00
lewo 8c0d32f8e7
Merge pull request #47693 from nicknovitski/envsubst-init
envsubst: init at 1.1.0
2018-10-05 09:00:33 +02:00
lewo 96ad503163
Merge pull request #47692 from nicknovitski/kubeval-init
kubeval: init at 0.7.3
2018-10-05 08:41:41 +02:00