mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
Code Issues Wiki Activity
159111 commits 204 branches 125 tags 10 GiB
Commit graph

24577 commits

Author SHA1 Message Date
Alyssa Ross 9594b59f13
postgresql10: rename from postgresql100 2018-10-30 12:40:20 +00:00
Léo Gaspard 02e1f00ffd
dovecot, opensmtpd: add link to test in meta.tests 
Rationale
---------

Currently, tests are hard to discover. For instance, someone updating
`dovecot` might not notice that the interaction of `dovecot` with
`opensmtpd` is handled in the `opensmtpd.nix` test.

And even for someone updating `opensmtpd`, it requires manual work to go
check in `nixos/tests` whether there is actually a test, especially
given not so many packages in `nixpkgs` have tests and this is thus most
of the time useless.

Finally, for the reviewer, it is much easier to check that the “Tested
via one or more NixOS test(s)” has been checked if the file modified
already includes the list of relevant tests.

Implementation
--------------

Currently, this commit only adds the metadata in the package. Each
element of the `meta.tests` attribute is a derivation that, when it
builds successfully, means the test has passed (ie. following the same
convention as NixOS tests).

Future Work
-----------

In the future, the tools could be made aware of this `meta.tests`
attribute, and for instance a `--with-tests` could be added to
`nix-build` so that it also builds all the tests. Or a `--without-tests`
to build without all the tests. @Profpatsch described in his NixCon talk
such systems.

Another thing that would help in the future would be the possibility to
reasonably easily have cross-derivation nix tests without the whole
NixOS VM stack. @7c6f434c already proposed such a system.

This RFC currently handles none of these concerns. Only the addition of
`meta.tests` as metadata to be used by maintainers to remember to run
relevant tests.
 2018-10-30 21:31:39 +09:00
Jörg Thalheim d23d25ebbb
Merge pull request #47594 from midchildan/add-sourcetrail 
sourcetrail: init at 2018.3.55
 2018-10-30 12:07:51 +00:00
José Romildo Malaquias b348f8568f jwm-settings-manager: init at 2018-10-19 2018-10-30 07:49:53 -03:00
Stefan Siegl 74cfbd63e1
tomboy: build against mono 5, refs #49369 2018-10-30 10:08:39 +01:00
xeji 21a7ca7c08
Merge pull request #49074 from c0bw3b/pkg/veracrypt 
veracrypt: 1.22 -> 1.23 / truecrypt: remove and alias to veracrypt
 2018-10-29 23:53:29 +01:00
Matthew Bauer 501d072b5f gnuk{-git,-unstable}: remove 
These two are unmaintained, no reason to keep them when they are
out-of-date
 2018-10-29 14:34:10 -05:00
Matthew Bauer 8db71d9d77 newlib: init at 3.0.0 
Fixes #47533

newlib seems to think it’s a compiler when it’s not. Anyway had to
make host refer to build platform for things to work.
 2018-10-29 14:34:10 -05:00
Matthew Bauer d59a9ac7cf avr: use new compilation infrastructure 
Gets rid of:
  avrbinutils
  avrgcc

to replace with:
  pkgsCross.avr.buildPackages.binutils
  pkgsCross.avr.buildPackages.gcc
 2018-10-29 14:34:09 -05:00
Vladyslav M bd4387f599
Merge pull request #49320 from benpye/init-miniflux 
miniflux: init at 2.0.12
 2018-10-29 13:53:42 +02:00
Ben Pye 9a03df974c
miniflux: init at 2.0.12 2018-10-29 13:32:55 +02:00
Jörg Thalheim cd0e925a13
Merge pull request #49362 from Mic92/openopc 
openopc: remove
 2018-10-29 07:44:32 +00:00
Mateusz Wykurz 094105efa1 cpuset: init at 1.5.8 2018-10-28 21:16:30 -04:00
Matt McHenry 1bd7b98c79 openjdk: 10.0.2 -> 11.0.1 
* the jre is no longer an official part of the jdk (jmod is
  recommended as a replacement when needing to create smaller runtime
  images)

* darwin continues to use zulu from azul

* apps that used 10 now use 11 (eclipse, bazel, josm)
 2018-10-28 20:35:25 -04:00
Jörg Thalheim 0e72714d5d
Merge pull request #49358 from Mic92/nixdoc 
nixdoc: init at 1.0.1
 2018-10-28 23:12:43 +00:00
Jörg Thalheim 8dba09c181
Merge branch 'master' into mono-cleanup 2018-10-28 22:59:18 +00:00
Vincent Ambo f03929f649
nixdoc: init at 1.0.1 
Adds nixdoc, a tool to generate documentation for Nix functions in the
standard library.

See #49275 for some background information.
 2018-10-28 22:17:16 +00:00
Jörg Thalheim 80d4263526
mono44: remove insecure version 
This version is also affected by CVE-2018-1002208.
It has no user in nixpkgs.
 2018-10-28 21:30:39 +00:00
Jörg Thalheim 12c9a36dad
mono40: remove 2018-10-28 21:10:14 +00:00
Jörg Thalheim c00b2b3074
openopc: remove 
The project is dead and it blocks the upgrade of Pyro (https://github.com/NixOS/nixpkgs/pull/49351)
 2018-10-28 21:02:29 +00:00
gnidorah 3400c8098c qtcurve: init at 1.9 2018-10-28 22:51:19 +03:00
David Pätzel 5931204ae8 tabula: init at 1.2.1 2018-10-28 20:24:20 +01:00
Peter Simons d46291dda5 opentracing: fix Nixpkgs evaluation errors 2018-10-28 17:22:11 +01:00
Herwig Hochleitner ed91407784 Revert "chromium: make gcc8 build available via buildWithGcc flag" 
This partially reverts commit
b70ab5c405 (except for depending gnome2)

see #48922
 2018-10-28 17:10:53 +01:00
Herwig Hochleitner b70ab5c405 chromium: make gcc8 build available via buildWithGcc flag 2018-10-28 16:00:46 +01:00
volth d2daf0dd6f chromium: build with clang 2018-10-28 16:00:45 +01:00
taku0 7c3dd045ce adoptopenjdk-bin: support darwin platform 2018-10-28 13:52:12 +00:00
taku0 8faebb17ac adoptopenjdk-bin: init at 11 2018-10-28 13:52:12 +00:00
Robert Hensing 15759508fa
Merge pull request #49056 from Tomahna/scalafix 
scalafix: init at 0.9.0
 2018-10-28 10:22:11 +01:00
Kevin Rauscher 0c05fb262a scalafix: init at 0.9.0 2018-10-28 10:10:37 +01:00
Rodney Lorrimar 95fab6a09c
linuxPackages.bpftrace: init at unstable-2018-10-27 2018-10-28 14:33:37 +10:00
Shea Levy 9b111955ec
nix-plugins: 5.0.0 -> 6.0.0 2018-10-28 00:25:39 -04:00
Pierre-Etienne Meunier ae3b4655a4 Carnix: 0.7.2 -> 0.8.10 (#40587) 
Carnix: splits input into two parts: creates from creates.io and local ones
 2018-10-28 00:06:29 +01:00
Daiderd Jordan f4927a34e7
rust-cbindgen: fix darwin build 2018-10-27 18:21:15 +01:00
Daiderd Jordan 82365ebe04
watchexec: fix darwin build 2018-10-27 17:32:39 +01:00
Nikita Voloboev dd9e60f75e
goku: init 0.1.11 2018-10-27 16:15:36 +01:00
Renaud 0e416d7e6b
Merge pull request #48318 from cryptix/add/go-junit-report 
go-junit-report: init at 2018-06-14 (385fac0ce9a)
 2018-10-27 16:03:46 +02:00
Henry 219c77bf9b go-junit-report: init at 2018-06-14 (385fac0ce9a) 2018-10-27 14:40:40 +01:00
Robert Hensing a54a799d59 NixOS: nixpkgs.pkgs: Append overlays when specified 2018-10-27 14:51:54 +02:00
Daiderd Jordan 450d33fc5b
Merge pull request #49081 from LnL7/darwin-wxmac 
wxmac: 3.0.2 -> 3.0.4 (darwin)
 2018-10-27 10:27:13 +01:00
Samuel Leathers 5573795901
grafana-reporter: init at 2.0.1 2018-10-27 05:09:28 -04:00
lewo fa5343be6c
Merge pull request #47967 from xtruder/pkgs/kind/init 
kind: init at 2ae73f8e
 2018-10-27 09:00:22 +02:00
adisbladis 1a1aa4d4d5
Merge pull request #49052 from etu/init-dmrconfig 
dmrconfig: init at 2018-10-20
 2018-10-26 23:12:52 +01:00
Jaka Hudoklin 6124447a54
kind: init at 2ae73f8e 2018-10-26 23:05:15 +02:00
Jan Tojnar df9290f2fb
Merge pull request #49183 from jtojnar/gusb 
gusb: 0.2.11 → 0.3.0
 2018-10-26 22:54:04 +02:00
Jan Tojnar 6b5571b9e8 gusb: 0.2.11 → 0.3.0 2018-10-26 22:16:43 +02:00
lewo e87de3f6f2
Merge pull request #48868 from flosse/featherpad 
featherpad: init at 0.9.1
 2018-10-26 21:24:27 +02:00
Elis Hirwing 21390ed5ec
dmrconfig: init at 2018-10-20 2018-10-26 19:47:31 +02:00
Jan Tojnar 82218835c5
Merge pull request #43133 from worldofpeace/gsignond 
gsignond: init at 1.0.7
 2018-10-26 19:29:56 +02:00
Tim 8d49637658 apt-dater: init at 1.0.3 (#32175) 
* apt-dater: init at 1.0.3

* apt-dater: use autoreconfHook
 2018-10-26 19:16:44 +02:00
Daiderd Jordan 1b47b95638
cargo: fix darwin build 
It depends the Security framework now.
 2018-10-26 16:06:56 +01:00
zimbatm 2337c7522a
openssh: 7.7p1 -> 7.9p1 (#48784) 
added openssh_gssapi to make it easier to test the patched version

the HPN edition isn't available on top of 7.9p1 yet

fix-host-key-algorithms-plus.patch didn't apply anymore, assuming it's
fixed.

release notes: https://www.openssh.com/txt/release-7.9
 2018-10-26 01:17:55 +02:00
Profpatsch 2cc4200de0 cdb: init at 0.75 
We check in the docs from a mirror repository, because the upstream
release doesn’t provide them.
 2018-10-25 21:49:37 +02:00
Richard Lupton b28552d58f signify: init at 24 (#48927) 2018-10-25 19:08:49 +00:00
Nick Novitski 950608bae0 androidsdk: 25.2.5 -> 26.1.1, license agreement 2018-10-25 11:56:47 -07:00
Orivej Desh d09961c22b openjpeg_2: rename from openjpeg_2_1 at 2.3.0 2018-10-25 17:46:48 +00:00
Ingo Blechschmidt 2595be06af tikzit: init at 2.0 (#48479) 
* tikzit: init at 2.0

* tikzit: Parallel building and qualification
 2018-10-25 19:04:14 +02:00
Jörg Thalheim 926d6c0bad
Merge pull request #42371 from Mic92/nix-breakpoints 
breakpointHook: add for debugging failing builds
 2018-10-25 10:38:29 +01:00
Jörg Thalheim f10b935f84
breakpointHook: add for debugging failing builds 
Usuage: Add breakpointHook to your `buildInputs` like this:

  stdenv.mkDerivation rec {
    # ...
    buildInputs = [ breakpointHook ];
  });

When the build fails as show in this example:

  pkgs.hello.overrideAttrs (old: {
    buildInputs = [ breakpointHook ];
    postPatch = ''
      false
    '';
  });

It will halt execution printing the following message:

build failed in patchPhase with exit code 1
To attach to this build run the following command as root:

   cntr attach -t command cntr-/nix/store/ynyb4n82x2r7sldd58pbb405jdqh5f00-hello-2.10

Installing cntr and running the command will provide shell access to the
build sandbox of failed build:

sudo cntr attach -t command cntr-/nix/store/ynyb4n82x2r7sldd58pbb405jdqh5f00-hello-2.10
WARNING: bad ownership on /nix/var/nix/profiles/per-user/root, should be 1000
[nixbld@localhost:/var/lib/cntr]$

At /var/lib/cntr the sandbox filesystem is mounted. All commands and
files of the system are still accessible within the shell.
To execute commands from the sandbox use the `cntr exec` subcommand.
 2018-10-25 10:19:41 +01:00
Jörg Thalheim 84e915a779
cntr: init at 1.2.0 2018-10-25 10:19:41 +01:00
Peter Simons c66c169f81 stack: fix the ghc 8.4.x build 2018-10-25 11:12:38 +02:00
Mateusz Kowalczyk 02fb26136c or-tools: new package (v6.9.1) 2018-10-25 14:15:13 +09:00
c0bw3b ce67a63dbe veracrypt: 1.22 -> 1.23 
Removed the wxGUI switch because it was never working.
To build VeraCrypt text-only you still need wxGTK _and_ you need to
rebuild wxGTK without GUI too...
Moreover, the normal build provides both GUI and text-only interfaces
so it is already usable in pure CLI contexts.
 2018-10-24 21:02:04 +02:00
worldofpeace 923e2af1d4 libsignon-glib: init at 2.0 2018-10-24 14:45:43 -04:00
c0bw3b b47fccff0a truecrypt: remove and alias to veracrypt 
TrueCrypt has been retired for a while now and the source archive we
pointed to is gone. Moreover the VeraCrypt fork is available, maintained
and fixes issues previous audits found in TrueCrypt.
 2018-10-24 20:34:17 +02:00
Renaud 9b2059f077
Merge pull request #48843 from JohnAZoidberg/rng-tools-6.6 
rng-tools: 5 -> 6.6, jitterentropy: init at 2.1.2
 2018-10-24 20:11:10 +02:00
Daiderd Jordan 0df3d8d6c4
wxmac: include cf-private 
Fixes build failure because CoreFoundation doesn't include
CFURLGetFSRef anymore.

    clang++ -mmacosx-version-min=10.7 -c -o basedll_filefn.o  -D__WXOSX_COCOA__      -DWXBUILDING      -I./src/regex  -DwxUSE_GUI=0 -DWXMAKINGDLL_BASE -DwxUSE_BASE=1 -dynamic -fPIC -DPIC -Wall -Wundef -Wunused-parameter -Wno-ctor-dtor-privacy -Woverloaded-virtual -Wno-deprecated-declarations -D_FILE_OFFSET_BITS=64 -I/private/tmp/nix-build-wxmac-3.0.2.drv-0/wxWidgets-3.0.2/lib/wx/include/osx_cocoa-unicode-3.0 -I./include -O2 -fno-strict-aliasing -fno-common  ./src/common/filefn.cpp
    ./src/common/filefn.cpp:849:18: error: use of undeclared identifier 'CFURLCreateFromFSRef'
        fullURLRef = CFURLCreateFromFSRef(NULL, fsRef);
                     ^
    ./src/common/filefn.cpp:875:14: error: use of undeclared identifier 'CFURLGetFSRef'
            if ( CFURLGetFSRef(url, fsRef) == false )
 2018-10-24 12:07:50 +02:00
Markus Kohlhase 039f9fbb5b featherpad: init at 0.9.1 2018-10-24 11:47:43 +02:00
Timo Kaufmann e89b422114
Merge pull request #48921 from timokau/r8168 
r8168: init at 8.046.00
 2018-10-24 11:47:28 +02:00
Timo Kaufmann c8b5deae19 r8168: init at 8.046.00 2018-10-24 11:46:10 +02:00
Mateusz Kowalczyk 0479354e0c QuadProgpp: Remember to add to all-packages.nix 2018-10-24 11:21:22 +09:00
Daniel Schaefer 6ffdf5a39f rng-tools: Rename attribute rng_tools -> rng-tools 
Comply with naming guidelines
 2018-10-24 00:49:46 +02:00
Daniel Schaefer 8ada6f6c46 jitterentropy: init at 2.1.2 2018-10-23 23:36:57 +02:00
Austin Seipp 46dc76b60b cloudflared: init at 2018.10.3 
'cloudflared' is a multi-purpose client-side tool for CloudFlare Argo
Tunnel, CloudFlare Access, as well as including a simple DNS-over-HTTP
(DoH) proxy tool as well.

However, 'cloudflared' is NOT available under an open source license.
Furthermore, the exact terms of redistribution (namely, if we are able
to redistribute binaries at all) are not entirely clear to me. As a
result, I have filed the following bug report concerning the terms of
redistribution for the source code and binaries:

  https://github.com/cloudflare/cloudflared/issues/53

'cloudflared' does have source code available, however, and it
encourages users to use 'go install' in order to set it up, in fact (or
download their prebuilt, compiled binaries). So using the source seems
to be encouraged. Even then, I'm still not sure if Hydra can serve these
binaries.

In lieu of a more pointed answer regarding source/binary licensing, and
to avoid keeping this expression in my private tree, I've marked it as
'unfree' (to avoid Hydra serving it in any way) as well as compiled from
source (to avoid any 'redistribution allowed while unmodified' terms
that may crop up).

The dependencies for this build were generated using 'dep2nix'.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-10-23 15:20:35 -05:00
Vladyslav M f7a785fbd1 mako: init at 1.1 (#46606) 2018-10-23 22:12:44 +02:00
lewo f3f155023c
Merge pull request #48578 from vdemeester/init-skaffold 
skaffold: init at 0.16.0
 2018-10-23 20:55:16 +02:00
Michael Weiss 2eb372d59d
nixos/rootston: Remove the module and the package (#48905) 
Rootston is just a reference compositor so it doesn't make that much
sense to have a module for it. Upstream doesn't really like it as well:

"Rootston will never be intended for downstream packages, it's an
internal thing we use for testing." - SirCmpwn [0]

Removing the package and the module shouldn't cause much problems
because it was marked as broken until
886131c243. If required the package can
still be accessed via wlroots.bin (could be useful for testing
purposes).

[0]: https://github.com/NixOS/nixpkgs/issues/38344#issuecomment-378449256
 2018-10-23 20:38:33 +02:00
Patrick Hilhorst d8d8a0ba14 sway-beta: init at 1.0-beta1 (#48829) 
* sway-beta: init at 1.0-beta1

* sway, sway-beta: use https url
 2018-10-23 20:34:59 +02:00
Markus Kowalewski 43011b7b43
lib[ibverbs,rdmacm]: remove in favour of rdma-core 
libibverbs and librdmacm are outdated and have
been replaced by the package rdma-core
 2018-10-23 18:44:37 +02:00
Rob Vermaas 87de9f7e89 opentracing-cpp: init 1.5.0 
(cherry picked from commit f49df04c02)
 2018-10-23 18:04:01 +02:00
Joachim F 48fd1fb0d7
Merge pull request #48794 from markuskowa/fix-samba-ib 
samba: remove defunct infiniband support
 2018-10-23 14:38:41 +00:00
Théo Zimmermann cea4806bc5 ocamlformat: init at 0.8 2018-10-23 14:22:59 +00:00
Rob Vermaas debbed29d1 datadog-agent: add option to enable trace agent 2018-10-23 12:30:06 +02:00
Jörg Thalheim e82af6003c
Merge pull request #48821 from nyanloutre/jackett-10-365 
jackett: 0.10.304 -> 0.10.365
 2018-10-23 10:42:48 +01:00
nyanloutre 7a44e6e365 jackett: update mono version to 5.14 
See details here : https://github.com/NixOS/nixpkgs/pull/48821#issuecomment-431837095
 2018-10-23 10:59:32 +02:00
Michael Raskin 16c329f3da visidata: init at 1.3.1 2018-10-23 12:00:11 +03:00
Michael Raskin acb7d85993 lrs: init at 7.0 2018-10-23 11:41:29 +03:00
lewo 1a840f6fb4
Merge pull request #48614 from vdemeester/init-kube-prompt 
kube-prompt: init at 1.0.4
 2018-10-23 09:49:58 +02:00
midchildan 444ce2dbdf
sourcetrail: init at 2018.3.55 2018-10-23 11:37:07 +09:00
Jörg Thalheim 0a9bfd69ec
Merge pull request #48818 from jokogr/u/lxd-3.0.2 
lxd: 3.0.0 -> 3.0.2
 2018-10-22 21:07:52 +01:00
Sarah Brofeldt 9de8d713dd
Merge pull request #48482 from Lassulus/ttyplot 
ttyplot: init at 1.0
 2018-10-22 21:54:36 +02:00
Tim Steinbach 2bb68c7017
linux: Add 4.19 2018-10-22 09:40:22 -04:00
Kier Davis 81178785c9
ckb, ckb module: rename to ckb-next 
The upstream package has officially changed its name to ckb-next.
 2018-10-22 13:23:30 +01:00
Ioannis Koutras 891277e6a9 dqlite: initialize at 0.2.4 2018-10-22 13:07:15 +03:00
Ioannis Koutras bf39304e53 sqlite-replication: initialize at 3.24.0+replication3 2018-10-22 13:07:14 +03:00
Jörg Thalheim 119d539d72
Merge pull request #47864 from uskudnik/add-brave-browser 
brave: init at 0.24.0
 2018-10-22 11:01:22 +01:00
adisbladis 5f33fbbc7b
vgo2nix: init at unstable-2018-10-14 2018-10-22 17:21:49 +08:00
Vincent Demeester 10e029829c kube-prompt: init at 1.0.4 
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
 2018-10-22 07:39:15 +02:00
Markus Kowalewski 8d7870d6c5
samba: remove defunct infiniband support 
Even if infiniband support is enabled the option
is ignored by the configure script and no depencies
to libibverbs.so or librdmacm.so is contained in
the output.
 2018-10-21 22:35:21 +02:00
Renaud f94947f311
Merge pull request #48338 from unode/libaosd 
libaosd: init at 0.2.7-9-g177589f
 2018-10-21 22:03:23 +02:00
Renato Alves 232b2d7bc0
libaosd: init at 0.2.7-9-g177589f 2018-10-21 21:43:54 +02:00
Renaud 0cc07aeee6
Merge pull request #48172 from jluttine/cholmod-extra-1.2.0 
cholmod-extra: init at 1.2.0
 2018-10-21 17:28:30 +02:00
Renaud d88d0127f7
Merge pull request #48148 from peterhoeg/p/scummvm_games 
scummvm: add several ScummVM supported games
 2018-10-21 09:50:13 +02:00
Frederik Rietdijk 86c7662be0 Merge staging-next into master 2018-10-21 08:37:30 +02:00
Jaka Hudoklin 8ff3df3eef
Merge pull request #48736 from mayflower/pkg/minishift 
minishift: init at 1.25.0
 2018-10-20 22:14:06 +02:00
Renaud ffcfa3f820
Merge pull request #48335 from pnelson/weather-icons-2.0.10 
weather-icons: init at 2.0.10
 2018-10-20 17:21:24 +02:00
Thomas Tuegel 2e4397f631
Merge pull request #35213 from jluttine/suitesparse-5.1.2 
suitesparse: 4.4.4 -> 5.3.0
 2018-10-20 08:07:27 -05:00
Yegor Timoshenko 7731f70045
Merge pull request #46920 from urkud/pokerth-1.1.2 
pokerth: 1.1.1 -> 1.1.2, refactor, Qt 5
 2018-10-20 09:11:51 +00:00
Frederik Rietdijk ca6ee8f519 Merge master into staging-next 2018-10-20 09:40:09 +02:00
Amar1729 d87a5c8722 argp-standalone: init at 1.3 2018-10-20 02:38:46 -04:00
Franz Pletz c6b09766aa
minishift: init at 1.25.0 2018-10-20 06:08:29 +02:00
Pavel Platto 8781308ab6 unity3d: 5.6.1 -> 2017.4.10 (#48643) 2018-10-20 00:36:50 +03:00
Yegor Timoshenko 031083b564
pokerth: clean up 2018-10-19 17:01:32 +00:00
Yury G. Kudryashov f923187c20
pokerth: 1.1.1 -> 1.1.2 2018-10-19 17:01:29 +00:00
Peter Simons d393b89965 stack: prefer the ghc-8.6.1 version 
Building stack with ghc-8.4.x requires a whole lot of version overrides -- most
notably Cabal 2.4.x --, so we don't bother and just use the one built with the
latest compiler instead.
 2018-10-19 14:44:22 +02:00
worldofpeace 518e7eb8c2 gsignondPlugins.mail: init at 2018-10-04 2018-10-19 06:29:04 -04:00
worldofpeace 95210447ee gsignondPlugins.lastfm: init at 2018-05-07 2018-10-19 06:29:04 -04:00
worldofpeace 0bcd20e3d8 gsignondPlugins.oauth: init at 2018-10-04 2018-10-19 06:29:04 -04:00
worldofpeace 3522d66f5a gsignondPlugins.sasl: init at 2017-11-11 2018-10-19 06:29:03 -04:00
worldofpeace 1917c7de87 gsignond: init at 2018-10-04 2018-10-19 06:29:03 -04:00
Drakonis a2d7574ebe rclone-browser: init at 1.2 (#44589) 2018-10-19 11:01:24 +02:00
Vincent Demeester 241230d051
skaffold: init at 0.16.0 
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
 2018-10-19 09:11:45 +02:00
Will Dietz ca67b33a28
Merge pull request #47612 from dtzWill/fix/use-regular-patchelf-with-chrome 
google-chrome: use default patchelf, "fixes" nacl_helper crashing.
 2018-10-18 21:20:42 -05:00
Milan Svoboda 43fc3bbb62 wings: fix runtime failure. (#48681) 
Erlang/OTP 18 [erts-7.3.1.4] [source] [64-bit] [async-threads:10] [hipe] [kernel-poll:false]

Eshell V7.3.1.4  (abort with ^G)
1>
=ERROR REPORT==== 18-Oct-2018::21:29:53 ===
beam/beam_load.c(1189): Error loading module sdl:
  mandatory chunk of type 'Atom' not found

=ERROR REPORT==== 18-Oct-2018::21:29:53 ===
Loading of /nix/store/qalvdrzjqqm3a8nsavjbhfiv1pzhw82k-esdl-1.3.1/lib/erlang/lib/esdl-1.3.1/ebin/sdl.beam failed: badfile

=ERROR REPORT==== 18-Oct-2018::21:29:53 ===
Error in process <0.35.0> with exit value:
{undef,[{sdl,init,[1048608],[]},
        {wings_init,init,0,[{file,"wings_init.erl"},{line,28}]},
        {wings,init,1,[{file,"wings.erl"},{line,105}]}]}

Fatal internal error - log written to /home/milan/wings_crash.dump
 2018-10-18 21:42:17 +01:00
John Ericson d97e5e1115
Merge pull request #48602 from matthewbauer/cmake-cross 
Set CMAKE_SYSTEM_* for cross compiling
 2018-10-18 15:47:04 -04:00
Jörg Thalheim ad250c18f7
Merge pull request #48580 from dtzWill/update/cquery-llvm7 
cquery: 2018-08-08 -> 2018-10-14 (llvm6 -> llvm7)
 2018-10-18 19:27:05 +01:00
John Ericson 1147d2ed89 Merge remote-tracking branch 'upstream/master' into xorg-override 2018-10-18 12:00:37 -04:00
John Ericson 88cd633ea4 xorg: Don't use deprecated item 2018-10-18 11:54:20 -04:00
Frederik Rietdijk 8d8dc1fa34 Merge master into staging 2018-10-18 11:43:54 +02:00
Felix Richter 17685a4022 bento4: init at 1.5.1-624 (#47632) 2018-10-18 11:34:43 +02:00
Jörg Thalheim 11b097c7a4
Merge pull request #48649 from jerith666/jdk10-arm-oracle-retire 
jdk10: remove special handling for arm
 2018-10-18 08:53:55 +01:00
Jan Tojnar 21f20b5f7b
Merge pull request #46613 from jtojnar/xpra-gtk3 
xpra: port to gtk3
 2018-10-18 05:59:09 +02:00
Matt McHenry f1195b912b jdk10: remove special handling for arm 
neither oraclejdk nor openjdk is supported on arm, so this is needless
complexity
 2018-10-17 21:00:10 -04:00
Matthew Bauer c86495c798 curl: disable gss on windows 2018-10-17 13:44:41 -05:00
Bart Brouns 6963bc3511 bs1770gain: 0.4.12 -> 0.5.0 (#48628) 2018-10-17 18:34:15 +02:00
Robert Schütz c1a0e28ee2
Merge pull request #48596 from makefu/pkgs/pythonPackages.speedtest-cli/init 
speedtest-cli: move to pythonPackages, add to home-assistant
 2018-10-17 17:11:48 +02:00
makefu d3657f6766
speedtest-cli: move ot python-modules 2018-10-17 16:52:39 +02:00
Frederik Rietdijk 89349fdae9 Merge staging-next into staging 2018-10-17 08:36:28 +02:00
Silvan Mosberger 9a3e418664
Merge pull request #46753 from redvers/add/openspin 
openspin: init at 2018-10-02
 2018-10-17 03:18:03 +02:00
Silvan Mosberger 3743f8af08
Merge pull request #45225 from Ekleog/webassemblyjs 
webassemblyjs tool suite: init at 1.7.8
 2018-10-17 02:55:40 +02:00
Eelco Dolstra b6bac6c144
Revert "Merge pull request #48122 from zimbatm/pkg-nixos-rebuild" 
This reverts commit 10addad603, reversing
changes made to 7786575c6c.

NixOS scripts should be kept in the NixOS source tree, not in
pkgs. Moving them around is just confusing and creates unnecessary
code/history churn.
 2018-10-16 20:25:44 +02:00
Urban Skudnik c90ad779a0
brave: init at 0.25.2 2018-10-16 20:19:37 +02:00
zimbatm 10addad603
Merge pull request #48122 from zimbatm/pkg-nixos-rebuild 
nixos-rebuild: init as package
 2018-10-16 19:39:22 +02:00
Will Dietz fc69a394fa cquery: 2018-08-08 -> 2018-10-14 (llvm6 -> llvm7) 
also simplify include expression a touch
 2018-10-16 12:30:06 -05:00
Yegor Timoshenko e31942c71e
Merge pull request #48282 from transumption/201810/qemu-smartcard 
qemu: enable smartcard support
 2018-10-16 11:31:36 +00:00
lassulus 1758ef04e8 ttyplot: init at 1.0 2018-10-16 12:59:11 +02:00
Jörg Thalheim ad2121dfb3
Merge pull request #48428 from jeroendehaas/fmt 
fmt: init at 5.2.1
 2018-10-16 10:33:07 +01:00
zimbatm 1875344542
nixos-*: init as package 
Move all the nixos-* scripts from the nixos distribution as real
packages in the pkgs/ package set.

This allows non-nixos users to run the script as well. For example,
deploying a remote machine with:

    nixos-rebuild --target-host root@hostname --build-host root@hostname
 2018-10-16 11:12:36 +02:00
Jeroen de Haas 2f6097b783 fmt: init at 5.2.1 
This commit adds fmt, a C++ formatting library.
 2018-10-16 08:30:54 +02:00
Matthew Bauer 0b298d516a
Merge pull request #47182 from bhipple/add/mkl 
mkl: init at 2019.0.117
 2018-10-15 15:17:57 -05:00
Matthew Bauer 4c1b22b1f8
Merge pull request #47408 from bhipple/add/abi-tools 
abi-compliance-checker: init at 2.3
 2018-10-15 15:01:48 -05:00
Léo Gaspard ff937fd06c
webassemblyjs tool suite: init at 1.7.8 2018-10-15 23:55:55 +09:00
Joachim F 6c60014759
Merge pull request #47601 from teto/mptcp_94 
linux_mptcp: 0.94 -> 0.94.1 [RDY]
 2018-10-15 11:23:44 +00:00
Justin Humm 6837d0d5c9
scribusUnstable: init at 2018-10-13 2018-10-15 09:50:24 +02:00
Bart Brouns 0d7ed1b771 spectmorph: init at 0.4.1 2018-10-15 10:07:15 +03:00
Silvan Mosberger 67a99a8bf6
Merge pull request #47559 from t184256/add-omegat 
omegat: init at 4.1.5.2
 2018-10-15 08:20:20 +02:00
Samuel Dionne-Riel 9ab8920235
Merge pull request #48348 from f--t/fix/sil-fonts 
sil-fonts: added charis, doulos, and andika
 2018-10-14 21:01:09 -04:00
Matthew Bauer 1dae4621f7
Merge pull request #44962 from Ekleog/wasm-rename 
wasm: rename unofficial package into proglodyte-wasm
 2018-10-14 17:00:29 -05:00
Matthew Bauer 0881a55f81
Merge pull request #44386 from srdqty/srd-update-mlton-compiler 
mlton: refactor and adds mlton20180207Binary mlton20180207 mltonHEAD
 2018-10-14 16:56:54 -05:00
Alexander Sosedkin 9835631050 omegat: init at 4.1.5.2 
OmegaT is a Computer-Assisted Translation tool written in Java.
This derivation doesn't build it from source, but rather downloads
a 'Cross-platform without JRE' zip file.
I took the liberty of shorting the upstream version naming of
"4.1.5 update 2 Beta" to a more concise "4.1.5.2".
 2018-10-15 03:53:02 +07:00
Silvan Mosberger 2551412f5e
Merge pull request #48288 from mpickering/cedille 
cedille: init at v1.0.0
 2018-10-14 21:30:51 +02:00
Matthew Pickering 9e348b4613 emacsPackages.cedille: init at 1.0.0 2018-10-14 19:17:37 +00:00
Matthew Pickering 43ae33728b cedille: init at 1.0.0 2018-10-14 19:17:23 +00:00
Michael Raskin 878c6c090d
Merge pull request #39125 from mpickering/darwin-saga 
SAGA, SAGA LTS release, dependencies and QGIS SAGA plugin
 2018-10-14 19:14:48 +00:00
Joachim F fe1a70c3cd
Merge pull request #48071 from catern/kdbg 
kdbg: init at 3.0.0
 2018-10-14 15:09:10 +00:00
xeji 2e7c992afa
Merge pull request #48297 from volth/remove-top-perlXMLParser 
perlXMLParser -> perlPackages.XMLParser
 2018-10-14 15:56:14 +02:00
Maximilian Bosch 413ed9d116
Merge pull request #47955 from jqueiroz/spotifywm 
spotifywm-unstable: init at 2016-11-28
 2018-10-14 11:21:47 +02:00
volth f65dfb3caf buildPerlPackage -> perlPackages.buildPerlPackage 2018-10-14 09:10:41 +02:00
Frederik Rietdijk 49b9959be2
Merge pull request #47631 from makefu/pkgs/cozy-audiobooks/init 
cozy-audiobooks: init at 0.6.3
 2018-10-14 08:58:16 +02:00
ft a041dd92fe sil-fonts: added andika, charis, doulos 2018-10-13 20:30:24 -07:00
Jonathan Queiroz 2b1d4611d1 spotifywm-unstable: init at 2016-11-28 2018-10-13 23:56:06 -03:00
makefu f20899dd41
cozy: init at 0.6.3 2018-10-14 02:13:39 +02:00
Jörg Thalheim afbf0c4fe7
Merge pull request #48321 from c0bw3b/pkg/guile-cairo 
guile-cairo: 1.4.1 -> 1.10.0
 2018-10-13 22:22:06 +01:00
Philip Nelson 3518c69d74 weather-icons: init at 2.0.10 2018-10-13 14:19:21 -07:00
Moritz Kiefer 6738033727
alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4 2018-10-13 17:45:45 +00:00
Renaud 0f5f873e93
Merge pull request #47893 from bhipple/add/luigi 
luigi: init at 2.7.9
 2018-10-13 18:23:07 +02:00
Alexey Shmalko df2696c430
Merge pull request #48307 from delroth/prom-tor 
prometheus-tor-exporter: init at 0.3
 2018-10-13 17:59:23 +03:00
c0bw3b b13a6b6791 guile-cairo: 1.4.1 -> 1.10.0 2018-10-13 15:38:57 +02:00
volth a974ecf803
Merge branch 'staging' into remove-top-perlXMLParser 2018-10-13 13:22:11 +00:00
Matthias Beyer b73579e5f1 taskell: init at 1.3.2 
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
Suggested-by: Profpatsch <mail@profpatsch.de>
 2018-10-13 12:37:56 +02:00
Benjamin Hipple 7472c5477a luigi: init at 2.7.9 2018-10-13 06:24:07 -04:00
volth 66f5f1a75b perlArchiveCpio -> perlPackages.ArchiveCpio 2018-10-13 11:19:21 +02:00
Dmitry Kalinkin 4ed993367f arrow-cpp: 0.10.0 -> 0.11.0 (#48066) 
* arrow-cpp: 0.10.0 -> 0.11.0

* arrow-cpp: enable testing
 2018-10-13 10:12:26 +02:00
Pierre Bourdon 86d644f8cc prometheus-tor-exporter: init at 0.3 
Upstream: https://github.com/atx/prometheus-tor_exporter
 2018-10-13 10:10:29 +02:00
Silvan Mosberger 9179c1449d
Merge pull request #48193 from brendan-hall/zeit-now 
now-cli: init at 11.4.6
 2018-10-13 03:25:35 +02:00
volth c0fed1ba77 perlXMLParser -> perlPackages.XMLParser 2018-10-12 22:56:15 +00:00
Brendan Hall e3b313bb59 now-cli: init at 11.4.6 2018-10-12 22:39:23 +01:00
Yegor Timoshenko 1ae8d8b793
libcacard: init at 2.6.1 2018-10-12 20:38:55 +00:00
Renaud 7a90980194
Merge pull request #47836 from bhipple/add/cpplint 
cpplint: init at 1.3.0
 2018-10-12 21:38:24 +02:00
Benjamin Hipple 964214b107 cpplint: init at 1.3.0 
Static analyzer for C++ code. Licensed under a very permissive, generic Google license (BSD3 wording).
 2018-10-12 18:51:43 +00:00
Silvan Mosberger e2d857a332
Merge pull request #48276 from LnL7/darwin-nix-index 
nix-index: fix darwin build
 2018-10-12 19:40:51 +02:00
Daiderd Jordan 5c14decaa3
nix-index: fix darwin build 2018-10-12 19:04:19 +02:00
Renaud 5eb7ca4e5d
pwsafe: 0.99BETA -> 1.06BETA (#48003) 
pwsafe: add c0bw3b as maintainer
 2018-10-12 19:04:09 +02:00
Timo Kaufmann ef0c38422d
Merge pull request #48261 from fgaz/termbox/init 
termbox: init at 1.1.2
 2018-10-12 18:45:16 +02:00
Francesco Gazzetta d6273e5161 termbox: init at 1.1.2 2018-10-12 15:51:57 +02:00
Bas van Dijk b64193f69b
haskellPackages.multi-ghc-travis: removed in favour of haskell-ci 
multi-ghc-travis has been renamed to haskell-ci which is now also on Hackage.
 2018-10-12 14:17:24 +02:00
Bas van Dijk 0c25079958
futhark: introduce the top-level futhark attribute 
The fact that futhark is a Haskell package is an implementation detail. To
install it users should just have to specify `futhark` instead of
`haskellPackages.futhark`.

Additionally futhark is overridden with `haskell.lib.justStaticExecutables` to
reduce closure size.
 2018-10-12 14:12:29 +02:00
Sarah Brofeldt c4afb45af5
Merge pull request #48097 from tenx-tech/feature/init-envdir-go 
envdir: init at 1.0.0
 2018-10-12 14:09:18 +02:00
Silvan Mosberger c26d6001ed
Merge pull request #45890 from lopsided98/buildbot-python3 
buildbot: Python 3 support and other improvements
 2018-10-12 14:06:41 +02:00
edude03 7a65f2c43d
envdir: init at 1.0.0 2018-10-12 19:23:21 +08:00
Sarah Brofeldt 32bcd72bf2
Merge pull request #48198 from teto/rfc-bibtex 
rfc-bibtex: init at 2.2.1
 2018-10-12 10:07:10 +02:00
Sophia Donataccio bb7ed2cd81 mlton: refactor and adds mlton20180207Binary mlton20180207 mltonHEAD 
This commit adds mltonHEAD.

Summary of all the changes in this branch:

* mlton20130715
  - for this one I just copy and pasted the old default.nix
  - I have tested some projects that compile with this version and don't
    compile with the newer version, so I think it makes sense to keep
    the old version

* mlton20180207Binary
  - This is used to build the source derivations

* mlton20180207
  - latest release

* mltonHEAD
  - latest commit to the master branch of the github repo at the time of
    creating this derivation
 2018-10-12 00:47:54 -04:00
Sophia Donataccio a130228fe8 mlton: adds mlton version 20180207 2018-10-12 00:30:48 -04:00
Sophia Donataccio 30da2b5659 mlton: adds binary release package for mlton version 20180207 
This works the same as the binary package in the old derivation, by
patching the release binary. The difference is that this derivation
is also exposed at the top level.
 2018-10-12 00:21:49 -04:00
Sophia Donataccio 4845d9324f mlton: prepare old version for refactoring 
20130715.nix is exactly the same as the old default.nix other than
pulling the meta data out into its own file.
 2018-10-12 00:06:54 -04:00
Ben Wolsieffer 73c523a605 buildbot: add Python 3 support 2018-10-11 21:39:11 -04:00
paddygord 9d293db6af yojimbo: init at 1.1 (#48214) 2018-10-11 22:13:07 +00:00
Andrew Childs fb9604c4b7 xorg: simplify argument passing into xorg and overrides 2018-10-11 15:03:06 -04:00
Silvan Mosberger e69079b3b1
Merge pull request #48108 from aca-labs/teleconsole 
Teleconsole
 2018-10-11 20:48:51 +02:00
Andrew Childs 9454f71fef xorg: allow overriding via overrideScope 2018-10-11 13:41:27 -04:00
Jörg Thalheim ee79ea0274
Merge pull request #48213 from mayflower/pkg/lazygit 
lazygit: init at 0.4
 2018-10-11 17:07:33 +01:00
Michael Raskin a29603344a
Merge pull request #48189 from aanderse/redmine 
redmine: refactor, cleanup, bug fix, and add functionality
 2018-10-11 15:32:43 +00:00
Franz Pletz 3e356b55dd
lazygit: init at 0.4 2018-10-11 16:17:57 +02:00
Philipp Middendorf e3d97997ff brigand: init at 1.3.0 2018-10-11 12:46:14 +00:00
Kim Burgess 6327ba8fbd teleconsole: init at 0.4.0 2018-10-11 20:24:12 +10: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
Matthieu Coudron 714c0781c3 rfc-bibtex: init at 2.2.1 
Generate bibtex entries from IETF rfc/drafts, for instance:
$ rfcbibtex RFC5246 draft-ietf-tls-tls13-21

@techreport{RFC5246,
  author = {T. Dierks and E. Rescorla},
  title = {{The Transport Layer Security (TLS) Protocol Version 1.2}},
  howpublished = {Internet Requests for Comments},
  type = {RFC},
  number = {5246},
  year = {2008},
  month = {August},
  issn = {2070-1721},
  publisher = {RFC Editor},
  institution = {RFC Editor},
  url = {http://www.rfc-editor.org/rfc/rfc5246.txt},
  note = {\url{http://www.rfc-editor.org/rfc/rfc5246.txt}},
}

@techreport{I-D.ietf-tls-tls13,
  author = {Eric Rescorla},
  title = {{The Transport Layer Security (TLS) Protocol Version 1.3}},
  howpublished = {Working Draft},
  type = {Internet-Draft},
  number = {draft-ietf-tls-tls13-21},
  year = {2017},
  month = {July},
  institution = {IETF Secretariat},
  url = {http://www.ietf.org/internet-drafts/draft-ietf-tls-tls13-21.txt},
  note = {\url{http://www.ietf.org/internet-drafts/draft-ietf-tls-tls13-21.txt}},
}
 2018-10-11 16:17:40 +09:00
Vincent Laporte 6113d95235
prooftree: cleaning 2018-10-11 05:59:21 +00:00
Aaron Andersen 1cb5b509f1 redmine: refactor, cleanup, bug fix, and add functionality 
- added package option to specify which version of redmine
- added themes option back in to allow specifying redmine themes
- added plugins option back in to allow specifying redmine plugins
- added database.socket option to allow mysql unix socket authentication
- added port option to allow specifying the port rails runs on

- cleaned up Gemfile so it is much less hacky
- switched to ruby version 2.4 by default as suggested by documentation http://www.redmine.org/projects/redmine/wiki/redmineinstall#Installing-Redmine
- fixed an annoyance (bug) in the service causing recursive symlinks
- fixed ownership bug on log files generated by redmine
- updates reflecting renames in nixos options

- added a nixos test
 2018-10-10 21:04:08 -04: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
Jaakko Luttinen f065de344d
cholmod-extra: init at 1.2.0 2018-10-10 22:08:25 +03: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
Peter Hoeg a75b3205d0 scummvm: add several ScummVM supported games 
- Beneath a Steel Sky: v1.2
 - Drascula: The Vampire Strikes Back: v2.0
 - Flight of the Amazon Queen: v1.1
 - Lure of the Temptress: v1.1
 2018-10-10 17:15:22 +08:00
Jaakko Luttinen 8fb27604fb
suitesparse: 4.4.4 -> 5.3.0 2018-10-10 07:36:00 +03: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
Spencer Baugh 01a0b1f0c3 kdbg: init at 3.0.0 2018-10-08 20:43:48 +00: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