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
Théo Zimmermann
62cf2840bd
ocamlPackages_3_10_0: remove
2018-10-08 21:10:05 +02:00
Théo Zimmermann
3d683f33f3
ocamlPackages_3_08_0: remove
2018-10-08 21:10:04 +02:00
Théo Zimmermann
cf1f8b2d04
camlp5: remove old version 5.15
2018-10-08 21:09:59 +02:00
Markus Kowalewski
df63fd1627
limesuite: 18.06.0->18.10.0
2018-10-08 21:03:23 +02:00
Matthew Bauer
15aa8caf57
Merge pull request #44511 from bignaux/soulseekqt
...
soulseekqt : refactoring appimage manipulation to be more generic.
2018-10-08 14:03:15 -05: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
Ryan Trinkle
3ae9bf6d0e
v42lloopback: 0.11 -> 0.12
2018-10-08 15:00:13 -04: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
Matthew Bauer
514bfd7b8e
Merge pull request #46113 from taktoa/taktoa/v8-6.9
...
v8_6_x: 6.2.414.27 -> 6.9.427.14
2018-10-08 13:49:02 -05:00
Matthew Bauer
52ed0526fe
Merge pull request #45978 from fgaz/patch-1
...
nixos docs: system restart to apply containers nat
2018-10-08 13:48:14 -05:00
Joachim F
a000210b9f
Merge pull request #47912 from erictapen/scribus-1.4.7
...
scribus: 1.4.6 -> 1.4.7
2018-10-08 18:43:47 +00:00
Joachim F
4ab43b812f
Merge pull request #47779 from r-ryantm/auto-update/libguestfs
...
libguestfs: 1.38.4 -> 1.38.6
2018-10-08 18:35:20 +00:00
Matthew Bauer
28a047b91a
Merge pull request #47062 from r-ryantm/auto-update/geos
...
geos: 3.6.3 -> 3.7.0
2018-10-08 13:34:30 -05:00
Matthew Bauer
3ffc6aa098
Merge pull request #47007 from r-ryantm/auto-update/litecoin
...
altcoins.litecoin: 0.16.0 -> 0.16.2
2018-10-08 13:33:47 -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
21a215059e
Merge pull request #47923 from asymmetric/asymmetric/packer-1.3.1
...
packer: 1.2.5 -> 1.3.1
2018-10-08 18:21:24 +00: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
Joachim F
7ff2a87b8e
Merge pull request #47781 from r-ryantm/auto-update/libisoburn
...
libisoburn: 1.4.8 -> 1.5.0
2018-10-08 17:54:23 +00:00
Joachim F
34e866ec23
Merge pull request #47793 from r-ryantm/auto-update/hiredis
...
hiredis: 0.13.3 -> 0.14.0
2018-10-08 17:50:20 +00:00
Joachim F
1ede0788f2
Merge pull request #47784 from r-ryantm/auto-update/inadyn
...
inadyn: 2.4 -> 2.5
2018-10-08 17:49:55 +00:00
Joachim F
30228133b2
Merge pull request #47791 from r-ryantm/auto-update/gnucash
...
gnucash: 3.2 -> 3.3
2018-10-08 17:48:53 +00:00
Joachim F
4b2aef2d36
Merge pull request #47792 from r-ryantm/auto-update/google-drive-ocamlfuse
...
google-drive-ocamlfuse: 0.6.25 -> 0.7.0
2018-10-08 17:48:35 +00:00
Joachim F
5b257a0376
Merge pull request #47796 from r-ryantm/auto-update/groonga
...
groonga: 8.0.6 -> 8.0.7
2018-10-08 17:47:51 +00:00
Joachim F
6cac2cef6c
Merge pull request #47802 from r-ryantm/auto-update/cl
...
cl: 1.2.3 -> 1.2.4
2018-10-08 17:47:33 +00:00
Domen Kožar
9e502600ba
stack2nix: fix build
2018-10-08 18:45:46 +01:00
Joachim F
347499926b
Merge pull request #47812 from r-ryantm/auto-update/cpp-hocon
...
cpp-hocon: 0.1.7 -> 0.2.0
2018-10-08 17:45:14 +00:00
Renaud
7972dcb2e6
Merge pull request #47806 from r-ryantm/auto-update/dico
...
dico: 2.6 -> 2.7
2018-10-08 19:16:41 +02:00
Michael Weiss
203903343f
scdoc: 1.4.2 -> 1.5.1
2018-10-08 19:14:35 +02:00
Michael Weiss
a6955ad37a
scdoc: Switch to fetchgit because the archive is unavailable
...
The Git repository is still accessible but the webpage [0] and the
download link [1] currently return "404 Not Found".
[0]: https://git.sr.ht/~sircmpwn/scdoc/
[1]: https://git.sr.ht/~sircmpwn/scdoc/snapshot/scdoc-${version}.tar.xz
2018-10-08 19:14:35 +02:00
Samuel Dionne-Riel
4643428b65
Merge pull request #47067 from bbarker/plan9port_update
...
Updating plan9port
2018-10-08 12:51:36 -04:00
Peter Simons
b5f43fa04e
all-cabal-hashes: update to Hackage at 2018-10-08T09:07:42Z
2018-10-08 18:39:52 +02:00
Peter Simons
478eff0225
hackage-packages.nix: automatic Haskell package set update
...
This update was generated by hackage2nix v2.11.1 from Hackage revision
23ec1f32c6
.
2018-10-08 18:38:39 +02:00
Peter Simons
6ec4ebf6f8
LTS Haskell 12.12
2018-10-08 18:38:38 +02:00
Samuel Dionne-Riel
467bec34bb
nixos/doc: Actually fix partitioning instructions.
...
The previous tentative to the fix got the order mixed up a bit. This
new fix has been re-verified to get them in the good order as per the
instructions in the following chapters.
2018-10-08 12:35:04 -04:00
Jörg Thalheim
fefe91d6bf
Merge pull request #48058 from lheckemann/debian-use-snapshot
...
debian vm tools: use snapshot.debian.org
2018-10-08 17:31:38 +01:00
Eelco Dolstra
8abfa4084b
geeqie: Reduce closure size
...
This reduces the closure size from 568 MiB to 289 MiB.
2018-10-08 18:13:29 +02:00
Eelco Dolstra
7b9c4954f2
git: Strip libsecret
...
This reduces gitFull's closure size from 412 MiB to 271 MiB.
2018-10-08 18:13:29 +02:00
Will Dietz
88bcbd4023
Merge pull request #48056 from dtzWill/update/gnuplot-5.2.5
...
gnuplot: 5.2.4 -> 5.2.5
2018-10-08 11:06:52 -05:00
Linus Heckemann
9cc18fa7f9
debian vm tools: use snapshot.debian.org
...
snapshot.debian.org actually keeps track of all of the updates as they
come in rather than doing arbitrary (?) snapshots.
2018-10-08 18:05:09 +02:00
Will Dietz
ee56a8bba5
gnuplot: 5.2.4 -> 5.2.5
...
http://www.gnuplot.info/ReleaseNotes_5_2_5.html
2018-10-08 10:38:20 -05:00
WilliButz
0febc64ed1
nixos/tests: add test for prometheus exporters
2018-10-08 17:21:49 +02:00
WilliButz
fbb7e0c82f
nixos/prometheus-exporters: fix unapplied service config
...
Prior to this commit, the default values for `Restart`, `PrivateTmp` and
`WorkingDirectory` were falsely ignored.
I also added myself as maintainer.
2018-10-08 17:21:49 +02:00
WilliButz
24320f4a9e
nixos/prometheus-varnish-exporter: avoid crash on restart
2018-10-08 17:21:48 +02:00
Andreas Rammhold
cefd0f7e86
Merge pull request #48050 from pacien/pkg-tinc-20181008
...
tinc: 1.0.34 -> 1.0.35, 1.1pre16 -> 1.1pre17 (security update)
2018-10-08 17:08:36 +02:00
pacien
15a190eb27
tinc: 1.0.34 -> 1.0.35, 1.1pre16 -> 1.1pre17
...
Critical security update (CVE-2018-16737, CVE-2018-16738, CVE-2018-16758)
2018-10-08 16:51:37 +02:00
Eelco Dolstra
2be42950c3
thunderbird: Remove buildconfig
...
This reduces the closure size from 1689 MiB to 425 MiB.
2018-10-08 16:32:31 +02:00
Eelco Dolstra
9bbd4f653f
qtgraphicaleffects: Add dev output
...
This shrank my system closure by about 192 MiB.
2018-10-08 16:32:27 +02:00