wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
58030 commits 3 branches 0 tags 278 MiB
Commit graph

58030 commits

This branch
This branch
All branches
Author SHA1 Message Date
Michael Ford
f45e776012 mpop 1.2.4 
Closes #1152.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
 2016-05-15 16:01:53 +01:00
BrewTestBot
17ff9ab761 compcert: update 2.6 bottle. 2016-05-15 07:58:50 -07:00
ilovezfs
f15929266d compcert: fix ocaml 4.03.0 induced build failure 
ocaml's old default "warn-error" list was empty, so all warnings were
non-fatal, but as of ocaml 4.03.0, the default setting is now
"-warn-error -a+31" (all warnings are non-fatal except 31). This causes
the vendored Coq 8.4 build to fail, so restore the old default.

Also, restore parallelization for the `make world` part of the Coq 8.4
build, as only `make install` seems to require deparallelization.

Closes #1158.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-15 07:58:48 -07:00
BrewTestBot
9e7f47e48a sysdig: update 0.9.0 bottle. 2016-05-15 15:57:45 +01:00
Radek Simko
17317a48ec sysdig 0.9.0 
Closes #1154.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
 2016-05-15 15:57:45 +01:00
BrewTestBot
e8388cf86a ssreflect: add 1.5_1 bottle. 2016-05-15 07:55:47 -07:00
ilovezfs
d3d1627443 ssreflect: vendor Coq 8.4 
Fixes

  File "src/ssrmatching.mli", line 76, characters 14-34:
  Error: Unbound type constructor glob_constr_and_expr
  make[1]: *** [src/ssrmatching.cmi] Error 2
  make: *** [all] Error 2

Also, add a test.

Upgrading the formula to mathcomp/ssreflect 1.6 will allow Coq 8.5 to
displace the vendored Coq 8.4.

Closes #1166.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-15 07:55:47 -07:00
Harald Fernengel
1abe6fdba6 qt: renaming d-bus -> dbus (#1156) 
Adapt the option to build Qt with D-Bus support
 2016-05-15 15:53:09 +01:00
Alex Dunn
239a222273 embryo: boneyard 
Superseded by EFL. See also #1161 and #1162.

Closes #1163.
 2016-05-15 07:52:38 -07:00
Harald Fernengel
b09291c4a0 qt5: renaming d-bus -> dbus (#1157) 
Adapt the option to build Qt5 with D-Bus support
 2016-05-15 15:52:11 +01:00
Alex Dunn
8716fc67b4 eet: boneyard 
Superseded by EFL.

Closes #1162.
 2016-05-15 07:50:10 -07:00
Jerzerak
4ee9a18664 dub 0.9.25-rc.1 (devel) (#1169) 2016-05-15 15:48:41 +01:00
BrewTestBot
6c7ea91891 neofetch: update 1.7 bottle. 2016-05-15 15:41:53 +01:00
Andrew Titmuss
697d9206a4 neofetch 1.7 
Updates neofetch to version 1.7

Closes #1170.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
 2016-05-15 15:41:53 +01:00
Alex Dunn
e3c2ffabff evas: boneyard 
It's been superseded by EFL

Closes #1161.

Signed-off-by: Alex Dunn <dunn.alex@gmail.com>
 2016-05-15 07:41:19 -07:00
Jerzerak
645eadb340 kobalt 0.780 (#1171) 2016-05-15 15:37:00 +01:00
Kirill A. Korinsky
16b797ade9 stanford-parser 3.6.0 (#1172) 2016-05-15 15:36:32 +01:00
Eli Givoni
6787c1eafd artifactory 4.7.7 (#1173) 2016-05-15 15:33:18 +01:00
BrewTestBot
1b15bece08 mit-scheme: update 9.2_1 bottle. 2016-05-14 21:05:39 -07:00
William Woodruff
12801112f2 mit-scheme: remove conflicts_with 
Closes #999.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-14 21:05:36 -07:00
William Woodruff
5650180920 tinyscheme: migrate to boneyard 
Reference: Homebrew/homebrew-boneyard#114
 2016-05-14 21:05:36 -07:00
BrewTestBot
7fb68cecd4 mit-scheme: update 9.2_1 bottle. 2016-05-14 08:04:51 -07:00
William Woodruff
0293c55e27 mit-scheme 9.2 (migration) 
Moves mit-scheme from the x11 tap to core with modifications
for disabling the X11 dependency.

Closes #1030.

Signed-off-by: Alex Dunn <dunn.alex@gmail.com>
 2016-05-14 08:04:49 -07:00
BrewTestBot
810d4469ea wiredtiger: add 2.8.0 bottle. 2016-05-14 08:00:46 -07:00
Jacob Jewell
d965249896 wiredtiger 2.8.0 (new formula) 
Closes #634.

Signed-off-by: Alex Dunn <dunn.alex@gmail.com>
 2016-05-14 08:00:42 -07:00
BrewTestBot
ce7f005cb5 menhir: update 20160504 bottle. 2016-05-14 01:00:22 -07:00
ilovezfs
da7676e0d0 menhir 20160504 
Closes #1151.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-14 01:00:20 -07:00
BrewTestBot
817c413077 mg3a: update 160511 bottle. 2016-05-14 00:55:03 -07:00
Pedro Andrés Aranda Gutiérrez
5dfe442e50 mg3a 160511 
Upgrade mg3a to last version. Changelog indicates bug-fixes

Closes #1150.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-14 00:55:02 -07:00
Jerzerak
f17ee01dd9 storm 1.0.1 
Closes #1148.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-14 00:53:24 -07:00
BrewTestBot
72a78d4803 emscripten: update 1.36.4 bottle. 2016-05-14 00:00:40 -07:00
Jerzerak
a94599d98c emscripten 1.36.4 
Closes #1144.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-14 00:00:38 -07:00
BrewTestBot
949c91519d trafficserver: update 6.1.1 bottle. 2016-05-13 22:14:20 -07:00
Jerzerak
656268944d trafficserver 6.1.1 
Closes #1147.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-13 22:14:18 -07:00
Jerzerak
37b8a10e5c sbt 1.0.0-M4 (devel) 
Closes #1128.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-13 21:49:47 -07:00
Jerzerak
2efcb1f6be vault-cli 3.1.26 
Closes #1143.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-13 21:45:25 -07:00
Jerzerak
3b1ee5836a kobalt 0.778 
Closes #1146.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-13 21:39:52 -07:00
Dominyk Tiller
e786b67672 awscli: remove mirror 
The SHA256 doesn't match the pypi release, and this seems to be a frequent
thing. Speaks to how reliable PyPi is that nobody has noticed this before now.
 2016-05-14 01:17:25 +01:00
BrewTestBot
98c5601c26 awscli: update 1.10.28 bottle. 2016-05-14 01:16:49 +01:00
Jerzerak
8baa9f06ae awscli 1.10.28 
Closes #1129.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
 2016-05-14 01:16:47 +01:00
BrewTestBot
cee4a7e4fd pyvim: update 0.0.18 bottle. 2016-05-14 01:12:58 +01:00
Kozo Nishida
fb86959a3d pyvim 0.0.18 
Closes #1132.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
 2016-05-14 01:12:56 +01:00
George Gastaldi
188a824311 jboss-forge 3.2.0.Final (#1137) 2016-05-14 01:11:36 +01:00
BrewTestBot
0fb28a1273 sngrep: update 1.3.1 bottle. 2016-05-14 01:09:36 +01:00
Joseph Frazier
f98518e3d6 sngrep 1.3.1 
Closes #1138.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
 2016-05-14 01:09:34 +01:00
BrewTestBot
14867dbf53 postgresql: update 9.5.3 bottle. 2016-05-14 01:07:27 +01:00
David Fetter
4918553760 postgresql 9.5.3 
postgresql: update 9.5.3 bottle.

Closes #1140.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
 2016-05-14 01:07:25 +01:00
BrewTestBot
54d3fd9050 prometheus: update 0.18.0 bottle. 2016-05-13 14:21:30 -07:00
ilovezfs
d0cf682052 prometheus 0.18.0 
Closes #1117.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
 2016-05-13 14:21:28 -07:00
Dominyk Tiller
1ffdb2809c cabal-install: fix patch placement 2016-05-13 20:21:14 +01:00