Matthew Justin Bauer
31d25252a4
Merge pull request #38185 from r-ryantm/auto-update/ocaml4.05.0-stdint
...
ocamlPackages.stdint: 0.3.0 -> 0.5.0
2018-04-08 21:23:16 -05:00
Matthew Justin Bauer
61e6b5cd39
Merge pull request #38184 from r-ryantm/auto-update/ocaml4.05.0-containers
...
ocamlPackages.containers: 1.3 -> 1.4
2018-04-08 21:23:07 -05:00
Matthew Justin Bauer
aaae2c1f62
Merge pull request #38183 from r-ryantm/auto-update/ocaml4.05.0-ssl
...
ocamlPackages.ssl: 0.5.4 -> 0.5.5
2018-04-08 21:22:58 -05:00
Matthew Justin Bauer
f8bb0982fe
Merge pull request #38182 from r-ryantm/auto-update/ocaml4.05.0-cstruct
...
ocamlPackages.cstruct: 3.0.2 -> 3.1.1
2018-04-08 21:22:47 -05:00
Matthew Justin Bauer
c55d235606
Merge pull request #38175 from r-ryantm/auto-update/ocaml4.05.0-expat
...
ocamlPackages.ocaml_expat: 1.0.0 -> 1.1.0
2018-04-08 21:22:36 -05:00
Matthew Justin Bauer
3b9a01ecb6
Merge pull request #38173 from r-ryantm/auto-update/osinfo-db
...
osinfo-db: 20180311 -> 20180325
2018-04-08 21:22:11 -05:00
Matthew Justin Bauer
8f0bd1fba4
Merge pull request #38171 from r-ryantm/auto-update/ocaml4.05.0-alcotest
...
ocamlPackages.alcotest: 0.8.1 -> 0.8.2
2018-04-08 21:21:59 -05:00
Matthew Justin Bauer
a926d98096
Merge pull request #38169 from r-ryantm/auto-update/pdns-recursor
...
pdns-recursor: 4.1.1 -> 4.1.2
2018-04-08 21:21:49 -05:00
Matthew Justin Bauer
7982b8c8a6
Merge pull request #38167 from r-ryantm/auto-update/pgroonga
...
pgroonga: 2.0.3 -> 2.0.4
2018-04-08 21:21:37 -05:00
Matthew Justin Bauer
209dce5ada
Merge pull request #38165 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.17.11 -> 2.18.1
2018-04-08 21:21:14 -05:00
Matthew Justin Bauer
7a3516b52f
Merge pull request #38160 from r-ryantm/auto-update/qtbitcointrader
...
qtbitcointrader: 1.10.01 -> 1.40.13
2018-04-08 21:21:03 -05:00
Matthew Justin Bauer
17389226ba
Merge pull request #38158 from r-ryantm/auto-update/rocksndiamonds
...
rocksndiamonds: 4.0.1.3 -> 4.0.1.4
2018-04-08 21:20:51 -05:00
Matthew Justin Bauer
a34ca44e80
Merge pull request #38155 from r-ryantm/auto-update/renpy
...
renpy: 6.99.14 -> 6.99.14.2
2018-04-08 21:20:40 -05:00
Matthew Justin Bauer
fb7f4afbdb
Merge pull request #38086 from ryantm/auto-update/libmowgli
...
libmowgli: 0.9.50 -> 2.1.3
2018-04-08 21:19:57 -05:00
Matthew Justin Bauer
cf9e5dd1a5
Merge pull request #38081 from Ekleog/todiff
...
todiff: init at 0.4.0
2018-04-08 21:19:46 -05:00
Peter Hoeg
734397afa0
Merge pull request #38561 from r-ryantm/auto-update/freetds
...
freetds: 1.00.70 -> 1.00.80
2018-04-09 02:18:19 +00:00
Tim Steinbach
c1e1690f62
linux: Hide test warnings from 4.16+ kernels
2018-04-08 19:09:11 -04:00
Tim Steinbach
8fe9b023b3
linux-copperhead: 4.15.15.a -> 4.15.16.a
2018-04-08 19:09:11 -04:00
Tim Steinbach
9adee13f38
linux: 4.16 -> 4.16.1
2018-04-08 19:09:11 -04:00
Tim Steinbach
40970aecd7
linux: 4.15.15 -> 4.15.16
2018-04-08 19:09:11 -04:00
Tim Steinbach
2c450adc8e
linux: 4.14.32 -> 4.14.33
2018-04-08 19:09:10 -04:00
Tim Steinbach
26f5ecb142
linux: 4.9.92 -> 4.9.93
2018-04-08 19:09:10 -04:00
Tim Steinbach
5c357ef309
linux: 4.4.126 -> 4.4.127
2018-04-08 19:09:10 -04:00
Michael Weiss
0288f77c30
tdesktop: 1.2.15 -> 1.2.17
...
tdesktopPackages.preview: 1.2.15 -> 1.2.17
2018-04-09 00:36:15 +02:00
Jörg Thalheim
9f02802caa
Merge pull request #38620 from Mic92/secure-vim-plugins
...
vimPlugins: use https instead of git:// as source
2018-04-08 22:31:23 +01:00
Robert Schütz
17bfcb5677
Merge pull request #38147 from xeji/python-kmsxx
...
pythonPackages.kmsxx: fix build
2018-04-08 23:29:25 +02:00
Jörg Thalheim
73df91ea37
vimPlugins.matchit-zip: remove unpack phase
2018-04-08 22:27:17 +01:00
Jörg Thalheim
77303e90a6
vimPlugins.cpsm: wants ncurses
2018-04-08 22:26:53 +01:00
xeji
2c84e347ee
pythonPackages.kmsxx: fix build
...
gcc7 build fails with "internal compiler error", use gcc6 instead
by inheriting stdenv from pkgs.kmsxx
2018-04-08 23:21:19 +02:00
Jörg Thalheim
99c27720ed
vimPlugins: sort plugin name list alphabetically
2018-04-08 22:14:36 +01:00
Jörg Thalheim
260d90d936
vimPlugins: use github https links
...
git protocol is insecure and does not work behind proxies.
Therefore prefix github: before every name
2018-04-08 22:11:11 +01:00
Jörg Thalheim
2b6bae5699
Merge pull request #38526 from mpickering/oom-darwin
...
openorienteering-mapper: 0.8.1 -> 0.8.1.2 and fix templates
2018-04-08 18:28:58 +01:00
Jörg Thalheim
a2efd3e81c
openorienteering-mapper: also enable linux
2018-04-08 18:27:52 +01:00
Jörg Thalheim
2eb816775b
Merge pull request #38517 from r-ryantm/auto-update/openttd
...
openttd: 1.7.2 -> 1.8.0
2018-04-08 17:20:02 +01:00
Jörg Thalheim
f507c51a96
Merge pull request #38454 from bkchr/nividia_390_48
...
nvidia-x11: 390.25 -> 390.48
2018-04-08 17:13:37 +01:00
Jörg Thalheim
2cf5f9792c
Merge pull request #38614 from dotlambda/sigal
...
sigal: add ffmpeg to PATH
2018-04-08 16:52:14 +01:00
Jörg Thalheim
314f90bce8
Merge pull request #38534 from Infinisil/update/openssh_hpn
...
openssh_hpn: 7.5p1 -> 7.6p1
2018-04-08 16:50:43 +01:00
Robert Schütz
6d8a587017
sigal: add ffmpeg to PATH
2018-04-08 16:33:28 +02:00
R. RyanTM
fea4270c11
inboxer: 1.0.3 -> 1.0.4 ( #38226 )
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/inboxer/versions .
These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 1.0.4 with grep in /nix/store/p1nbzvgxwp6fczn96a1wdblpvm5h42m8-inboxer-1.0.4
- directory tree listing: https://gist.github.com/e6ce6651760c07005f1d533c2cafc824
2018-04-08 15:53:35 +02:00
R. RyanTM
c320c07b46
insomnia: 5.14.9 -> 5.15.0 ( #38554 )
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/insomnia/versions .
These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 5.15.0 with grep in /nix/store/x52qaj81hs0q30360p9cr4zp0wq1cjcp-insomnia-5.15.0
- directory tree listing: https://gist.github.com/cb32b3e7392a6724e0a30657b52b3f26
2018-04-08 15:43:59 +02:00
Jörg Thalheim
d8657f30a1
Merge pull request #38510 from bricewge/nerdfonts-2.0.0
...
nerdfonts: 1.1.0 -> 2.0.0
2018-04-08 14:42:48 +01:00
Jörg Thalheim
b897bf4f3c
Merge pull request #38373 from vbgl/ocamlify
...
ocamlPackages.ocamlify: fix build with OCaml 4.06
2018-04-08 14:27:14 +01:00
Jörg Thalheim
2c364726c1
Merge pull request #38370 from jluttine/fix-nbstripout-0.3.1
...
nbstripout: fix tests
2018-04-08 14:19:02 +01:00
Jörg Thalheim
ba391b8248
Merge pull request #38512 from vbgl/gtksourceview3-darwin
...
gnome3.gtksourceview: fix build on Darwin
2018-04-08 14:07:23 +01:00
Jörg Thalheim
39eaf98ad3
Merge pull request #38515 from taku0/fix-firefox-wrapper-ln-icon
...
firefox: fix wrapper to make proper symlink to icon
2018-04-08 14:06:26 +01:00
Jörg Thalheim
b214874bda
Merge pull request #38541 from sifmelcara/fix/pcmanx/libtoolize
...
pcmanx-gtk2: fix build
2018-04-08 13:17:37 +01:00
Jörg Thalheim
28cf1a7a65
Merge pull request #38572 from tadfisher/enyo-doom
...
enyo-doom: init at 1.05
2018-04-08 12:49:25 +01:00
Jörg Thalheim
820594175e
Merge pull request #38575 from joncfoo/update-psc-package
...
psc-package v0.3.2-pre -> v0.3.2
2018-04-08 12:44:16 +01:00
Jörg Thalheim
610e3853fe
Merge pull request #38229 from matklad/update-jetbrains
...
Major update of various JetBrains IDEs
2018-04-08 12:32:51 +01:00
Daiderd Jordan
6b0ff4e95e
Merge pull request #38511 from bkchr/rust_1_25
...
rustc: 1.24.0 -> 1.25.0
2018-04-08 13:32:20 +02:00
Jörg Thalheim
63378bd603
Merge pull request #38558 from concatime/patch-2
...
zulu8: 8.21.0.1 -> 8.28.0.1 & openjdk: 8.0.131 -> 8.0.163
2018-04-08 12:21:30 +01:00
Aleksey Kladov
1a870dfe99
jetbrains.webstorm: 2017.3.5 -> 2018.1
2018-04-08 14:14:35 +03:00
Aleksey Kladov
89a16a152c
jetbrains.pycharm-professional: 2017.3.4 -> 2018.1
2018-04-08 14:14:35 +03:00
Aleksey Kladov
a55f0e65c7
jetbrains.pycharm-community: 2017.3.4 -> 2018.1
2018-04-08 14:14:35 +03:00
Aleksey Kladov
62d0a0685d
jetbrains.phpstorm: 2017.3.5 -> 2017.3.6
2018-04-08 14:14:35 +03:00
Aleksey Kladov
672c98ded0
jetbrains.idea-ultimate: 2017.3.5 -> 2018.1
2018-04-08 14:14:35 +03:00
Aleksey Kladov
0215ae062d
jetbrains.idea-community: 2017.3.5 -> 2018.1
2018-04-08 14:14:35 +03:00
Aleksey Kladov
2bddfb16d5
jetbrains.goland: 2017.3.3 -> 2018.1
2018-04-08 14:14:34 +03:00
Jörg Thalheim
467886b761
Merge pull request #38594 from endgame/crip
...
crip: init at 3.9; perlPackages.CDDB_get: init at 2.28
2018-04-08 12:13:12 +01:00
Jörg Thalheim
692e0b5f3a
zfsLegacyCrypto: set incompatibleKernelVersion to 4.16
2018-04-08 12:07:23 +01:00
Jörg Thalheim
e50c5382eb
Merge pull request #38567 from winniequinn/vscode-1.22.1
...
vscode: 1.21.1 -> 1.22.1
2018-04-08 12:01:57 +01:00
Jörg Thalheim
8f5cd6e6dd
Merge pull request #38585 from r-ryantm/auto-update/cmark
...
cmark: 0.27.1 -> 0.28.3
2018-04-08 12:01:15 +01:00
Jörg Thalheim
f7a0e69cb8
Merge pull request #38584 from r-ryantm/auto-update/confclerk
...
confclerk: 0.6.1 -> 0.6.4
2018-04-08 11:57:37 +01:00
Jörg Thalheim
9165371a8f
Merge pull request #38579 from r-ryantm/auto-update/dcraw
...
dcraw: 9.26.0 -> 9.27.0
2018-04-08 11:55:34 +01:00
Jack Kelly
e1f6778e11
crip: init at 3.9
2018-04-08 20:44:05 +10:00
Jack Kelly
babbf2ac5c
perlPackages.CDDB_get: init at 2.28
2018-04-08 20:43:57 +10:00
Jörg Thalheim
811ff3f131
Merge pull request #38576 from ahmedtd/nomacs-3.8.1
...
nomacs: 3.6.1 -> 3.8.1
2018-04-08 11:36:22 +01:00
Jörg Thalheim
5484a90490
Merge pull request #33688 from concatime/patch-1
...
jetbrainsjdk: 1036.1 ~> 1136.20 (based on build #181.4203)
2018-04-08 11:33:37 +01:00
Jörg Thalheim
5d332cf758
Merge pull request #38580 from r-ryantm/auto-update/containerd
...
containerd: 1.0.2 -> 1.0.3
2018-04-08 11:26:48 +01:00
Jörg Thalheim
66181e94a2
Merge pull request #38609 from yrashk/sit-0.2.1
...
sit: 0.1.3 -> 0.2.1
2018-04-08 10:58:37 +01:00
Jörg Thalheim
bcd04ee034
Merge pull request #38583 from r-ryantm/auto-update/cppcheck
...
cppcheck: 1.82 -> 1.83
2018-04-08 10:46:30 +01:00
Jörg Thalheim
0aeabd0fde
Merge pull request #38587 from r-ryantm/auto-update/clipgrab
...
clipgrab: 3.6.2 -> 3.6.8
2018-04-08 10:45:53 +01:00
Jörg Thalheim
5869f4da13
Merge pull request #38596 from r-ryantm/auto-update/ceres-solver
...
ceres-solver: 1.12.0 -> 1.14.0
2018-04-08 10:43:06 +01:00
Jörg Thalheim
1e9e19b2aa
openmvs-unstable: 2017-05-01 -> 2018-05-26
...
fix build
2018-04-08 10:36:25 +01:00
Yurii Rashkovskii
7a77ba4a5f
sit: 0.1.3 -> 0.2.1
2018-04-08 10:50:58 +02:00
Jörg Thalheim
62dc989963
Merge pull request #38595 from r-ryantm/auto-update/bcftools
...
bcftools: 1.7 -> 1.8
2018-04-08 09:36:13 +01:00
Jörg Thalheim
18fa54032a
bcftools: python/perl is needed for shebangs
2018-04-08 09:35:20 +01:00
Jörg Thalheim
d6765af468
Merge pull request #38599 from r-ryantm/auto-update/adapta-gtk-theme
...
adapta-gtk-theme: 3.93.0.174 -> 3.93.0.225
2018-04-08 09:29:45 +01:00
Jörg Thalheim
ea1c5522d0
Merge pull request #38603 from veprbl/patch-5
...
xaw3d: use an https download url
2018-04-08 09:21:35 +01:00
Jörg Thalheim
f9b95e9ca0
Merge pull request #38597 from thoughtpolice/rm-rf-z3-4.5.0
...
nixpkgs: remove z3 4.5.0
2018-04-08 09:18:07 +01:00
Jörg Thalheim
ed649f0cb3
Merge pull request #38604 from r-ryantm/auto-update/autorandr
...
autorandr: 1.4 -> 1.5
2018-04-08 09:11:23 +01:00
Ryan Mulligan
6593ce7ef9
otter-browser: 0.9.94 -> 0.9.96 ( #37239 )
...
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 0.9.96 with grep in /nix/store/hy3dyckwbq8x0ylgydqf3hsd0yyj38mf-otter-browser-0.9.96
- directory tree listing: https://gist.github.com/3ba5ac755cab96acd876703e94dff4b4
2018-04-08 10:00:05 +02:00
lewo
5aae2a8998
Merge pull request #38602 from jlesquembre/pspg
...
pspg: init at 1.0.0
2018-04-08 09:57:17 +02:00
Jörg Thalheim
51655575d3
Merge pull request #38573 from kevincox/allow-null
...
Allow setting cargoSha256 to null.
2018-04-08 08:56:52 +01:00
Jörg Thalheim
8c05cc58c3
Merge pull request #38590 from r-ryantm/auto-update/cheat
...
cheat: 2.2.2 -> 2.2.3
2018-04-08 08:55:14 +01:00
lewo
7ca4cc0770
Merge pull request #38600 from r-ryantm/auto-update/cb2bib
...
cb2bib: 1.9.2 -> 1.9.7
2018-04-08 09:44:44 +02:00
R. RyanTM
922fcbb310
archivemount: 0.8.9 -> 0.8.12 ( #38276 )
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/archivemount/versions .
These checks were done:
- built on NixOS
- ran `/nix/store/7dc19v4ibkd9a958mxrhbn8hi4dj6flw-archivemount-0.8.12/bin/archivemount -V` and found version 0.8.12
- ran `/nix/store/7dc19v4ibkd9a958mxrhbn8hi4dj6flw-archivemount-0.8.12/bin/archivemount --version` and found version 0.8.12
- found 0.8.12 with grep in /nix/store/7dc19v4ibkd9a958mxrhbn8hi4dj6flw-archivemount-0.8.12
- directory tree listing: https://gist.github.com/9f95a5aa5b6c354b2dd5db0351c8fb72
2018-04-08 09:23:50 +02:00
R. RyanTM
a418676508
ccnet: 6.1.0 -> 6.1.7 ( #38593 )
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/ccnet/versions .
These checks were done:
- built on NixOS
- ran ‘/nix/store/pjhaffj25vr662q3xvxxqjdddny0r0rn-ccnet-6.1.7/bin/ccnet -h’ got 0 exit code
- ran ‘/nix/store/pjhaffj25vr662q3xvxxqjdddny0r0rn-ccnet-6.1.7/bin/ccnet --help’ got 0 exit code
- found 6.1.7 with grep in /nix/store/pjhaffj25vr662q3xvxxqjdddny0r0rn-ccnet-6.1.7
- directory tree listing: https://gist.github.com/b89fd3d2ea82f0d5a57dcfb186e1904d
2018-04-08 09:11:01 +02:00
Peter Simons
2498bcb1c4
hackage-packages.nix: automatic Haskell package set update
...
This update was generated by hackage2nix v2.9.2-5-g17e0b6c from Hackage revision
fac6246666
.
2018-04-08 08:57:13 +02:00
Michael Alan Dorman
c83682bb68
gtk-traymanager: fix build
2018-04-08 08:56:57 +02:00
Peter Simons
d1d52adb5b
Merge pull request #38601 from r-ryantm/auto-update/asymptote
...
asymptote: 2.41 -> 2.42
2018-04-08 08:41:43 +02:00
R. RyanTM
e42ae4e586
obs-studio: 21.0.3 -> 21.1.1
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/obs-studio/versions .
These checks were done:
- built on NixOS
- ran `/nix/store/3dqzcmdm5caax4gqr61k05hmxrs1ca5w-obs-studio-21.1.1/bin/obs -h` got 0 exit code
- ran `/nix/store/3dqzcmdm5caax4gqr61k05hmxrs1ca5w-obs-studio-21.1.1/bin/obs --help` got 0 exit code
- ran `/nix/store/3dqzcmdm5caax4gqr61k05hmxrs1ca5w-obs-studio-21.1.1/bin/.obs-wrapped -h` got 0 exit code
- ran `/nix/store/3dqzcmdm5caax4gqr61k05hmxrs1ca5w-obs-studio-21.1.1/bin/.obs-wrapped --help` got 0 exit code
- found 21.1.1 with grep in /nix/store/3dqzcmdm5caax4gqr61k05hmxrs1ca5w-obs-studio-21.1.1
- directory tree listing: https://gist.github.com/08175928e798aeee1fb0326677000c7c
2018-04-07 23:15:13 -07:00
Mateusz Kowalczyk
13327cede8
Merge pull request #38549 from jfrankenau/fix-easytag-opus
...
easytag: add opus support
2018-04-08 14:45:31 +09:00
Dmitry Kalinkin
669737089a
xaw3d: use an https download url
2018-04-08 01:37:32 -04:00
José Luis Lafuente
39b67479ea
pspg: init at 1.0.0
2018-04-08 07:24:56 +02:00
R. RyanTM
1471530423
autorandr: 1.4 -> 1.5
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/autorandr/versions .
These checks were done:
- built on NixOS
- ran ‘/nix/store/vjiasvrsgwrpyqcy437jjk56r62m7w4c-autorandr-1.5/bin/autorandr -h’ got 0 exit code
- ran ‘/nix/store/vjiasvrsgwrpyqcy437jjk56r62m7w4c-autorandr-1.5/bin/autorandr --help’ got 0 exit code
- ran ‘/nix/store/vjiasvrsgwrpyqcy437jjk56r62m7w4c-autorandr-1.5/bin/autorandr --version’ and found version 1.5
- found 1.5 with grep in /nix/store/vjiasvrsgwrpyqcy437jjk56r62m7w4c-autorandr-1.5
- directory tree listing: https://gist.github.com/ca1a736eb6be03089d56d2e50bef2cfd
2018-04-07 22:22:45 -07:00
R. RyanTM
dbffe147ea
asymptote: 2.41 -> 2.42
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/asymptote/versions .
These checks were done:
- built on NixOS
- ran ‘/nix/store/2qw7zf6brwdbj56dbrn9342s3l51j2d1-asymptote-2.42/bin/asy -h’ got 0 exit code
- ran ‘/nix/store/2qw7zf6brwdbj56dbrn9342s3l51j2d1-asymptote-2.42/bin/asy --help’ got 0 exit code
- found 2.42 with grep in /nix/store/2qw7zf6brwdbj56dbrn9342s3l51j2d1-asymptote-2.42
- directory tree listing: https://gist.github.com/ea517431d1ae476366452121c7871132
2018-04-07 22:18:27 -07:00
R. RyanTM
d39cb9da43
cb2bib: 1.9.2 -> 1.9.7
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/cb2bib/versions .
These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 1.9.7 with grep in /nix/store/hvx77c2sm156llkibz4hdizn7syszvgl-cb2bib-1.9.7
- directory tree listing: https://gist.github.com/ddafa78f4e3eb99a2d1689e87e89d3ba
2018-04-07 21:44:41 -07:00
R. RyanTM
dfcbd477be
adapta-gtk-theme: 3.93.0.174 -> 3.93.0.225
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/adapta-gtk-theme/versions .
These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- directory tree listing: https://gist.github.com/3865bcde7ac7faabba940e89c5114260
2018-04-07 21:28:05 -07:00
Austin Seipp
86c5420a2e
nixpkgs: remove z3 4.5.0
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-04-07 23:02:59 -05:00