Philipp Middendorf
e3d97997ff
brigand: init at 1.3.0
2018-10-11 12:46:14 +00:00
obadz
6fca3c5700
cups-googlecloudprint: init at 20160502
2018-10-11 09:19:58 +01:00
Silvan Mosberger
177ddb91be
Merge pull request #47389 from manveru/add-ejson
...
ejson: init at 1.2.0
2018-10-11 10:14:30 +02:00
Vincent Laporte
6113d95235
prooftree: cleaning
2018-10-11 05:59:21 +00:00
Franz Pletz
6892cbce09
equilux-theme: init at 20180927
2018-10-11 02:08:37 +02:00
Franz Pletz
c04e6e04e2
xsecurelock: hardcode path to xset
2018-10-11 02:08:37 +02:00
Jörg Thalheim
c45a6fa041
Merge pull request #48159 from Zimmi48/remove-camlp5-transitional
...
Remove camlp5 transitional
2018-10-11 00:31:28 +01: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
Théo Zimmermann
2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict)
2018-10-10 19:44:54 +02:00
Théo Zimmermann
7ac0a23194
prooftree: 0.12 -> 0.13
2018-10-10 19:42:50 +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