Commit graph

57858 commits

Author SHA1 Message Date
Andrew Janke
a6b99a561c civl: remove cvc4 dependency
cvc4 is being boneyarded.
civl can still run with just z3, though with reduced precsion.

Closes #909.

Signed-off-by: Andrew Janke <andrew@apjanke.net>
2016-05-06 13:16:16 -04:00
Andrew Janke
ca18673b9d cvc4: boneyard
Due to ongoing segfault failure.
2016-05-06 13:16:16 -04:00
Adam C. Foltzer
7727e75caa cvc4: add test to expose current bug
This breaks this formula, but the formula shouldn't currently be passing
its tests as it produces broken binaries on El Capitan.

Signed-off-by: Andrew Janke <andrew@apjanke.net>
2016-05-06 13:16:16 -04:00
Bob W. Hogg
fe5c0c58fc ios-class-guard: audit fix. 2016-05-06 16:34:55 +01:00
Sleekbot
5eb41d7e40 tailor 0.10.0 2016-05-06 16:15:03 +01:00
Miguel Fernández
311cff6749 apache-archiva: fix audit problem.
Warning was: `Please set plist_options when using a formula-defined plist`.
2016-05-06 16:02:37 +01:00
Jeff Dickey
8e238678be heroku 3.43.2
Closes #880.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2016-05-06 14:34:51 +01:00
Jeff Dickey
11432e047c heroku-toolbelt: rename to heroku. 2016-05-06 14:34:42 +01:00
Jeff Dickey
b40f857967 formula_renames.json: sort. 2016-05-06 14:34:35 +01:00
BrewTestBot
98cff302aa node: update 6.1.0 bottle. 2016-05-06 14:33:01 +01:00
Jerzerak
92b669a63a node 6.1.0
Closes #895.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2016-05-06 14:33:00 +01:00
BrewTestBot
58ced73112 aria2: update 1.22.0 bottle. 2016-05-06 14:33:00 +01:00
Tse Kit Yam
03652a869a aria2 1.22.0
Closes #893.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2016-05-06 14:32:56 +01:00
BrewTestBot
e1310e9732 awscli: update 1.10.26 bottle. 2016-05-06 14:32:55 +01:00
Joseph Chiocchi
4c7a910723 awscli 1.10.26
Closes #881.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2016-05-06 14:32:51 +01:00
Rakesh
19224d4368 pypy: update sha256 for the re-released tarball
Closes #873.
2016-05-06 14:29:48 +01:00
William Woodruff
d3d1b4d224 duff: Add test.
Compares two equal files and asserts expected output.
2016-05-06 14:29:20 +01:00
William Woodruff
f93d33e6b5 icon: Add test.
Tests the output of a trivial Icon program.
2016-05-06 14:27:57 +01:00
Bob W. Hogg
01eac4c6ce unixodbc: audit fix 2016-05-06 14:27:41 +01:00
William Woodruff
28add4fc3a bsdiff: Add test.
Generates a patchfile from two (tiny) binary files.
2016-05-06 14:27:26 +01:00
Viktor Szakats
e575071437 byteman: use secure urls 2016-05-06 14:26:54 +01:00
Chuancong Gao
8eb63e2583 macvim 7.4-103 (#902) 2016-05-06 14:13:57 +01:00
BrewTestBot
e624086b00 github-markdown-toc: add 0.5.0 bottle. 2016-05-06 10:56:41 +01:00
Mike Fiedler
0fc6b4a5fa github-markdown-toc 0.5.0 (new formula)
New Formula of a go-based tool to scan a markdown document and produce
anchors and Table of Contents-style links for use in documents like a
GitHub README.md.

Closes Homebrew/legacy-homebrew#48056.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2016-05-06 10:56:39 +01:00
William Woodruff
3b44daadb4 ee: Add test.
To exit `ee`, the user normally presses Esc, then a, then b.
The test block mimics this behavior with pipe_output and an escaped string.

Closes #883.

Signed-off-by: Martin Afanasjew <martin@afanasjew.de>
2016-05-06 00:50:21 +02:00
BrewTestBot
bdacc71c8d percona-xtrabackup: add 2.4.2 bottle. 2016-05-05 23:45:29 +01:00
Juan Lomán
df5894b2e5 percona-xtrabackup 2.4.2 (new formula)
Closes #673.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
2016-05-05 23:45:29 +01:00
Jerzerak
92ed07659b checkstyle 6.18 (#876) 2016-05-05 21:52:31 +01:00
Jerzerak
03e7dc5836 kobalt 0.760 (#877) 2016-05-05 21:52:05 +01:00
BrewTestBot
3fd6bfb901 crystal-lang: update 0.16.0 bottle. 2016-05-05 21:50:48 +01:00
Ary Borenszweig
3bb6e3e9e8 crystal-lang 0.16.0
Closes #878.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
2016-05-05 21:50:45 +01:00
BrewTestBot
de4b0f8721 opam: update 1.2.2_2 bottle. 2016-05-05 21:36:35 +01:00
BrewTestBot
980e3bfca0 ocamlsdl: update 0.9.1_3 bottle. 2016-05-05 21:36:35 +01:00
BrewTestBot
f20188823a ocamlbuild: add 0.9.2 bottle. 2016-05-05 21:36:35 +01:00
BrewTestBot
aff312f7d1 ocaml: update 4.03.0 bottle. 2016-05-05 21:36:35 +01:00
BrewTestBot
ea5e20e147 lablgtk: update 2.18.4 bottle. 2016-05-05 21:36:35 +01:00
BrewTestBot
6389ea14e5 camlp5: update 6.16 bottle. 2016-05-05 21:36:35 +01:00
BrewTestBot
1dcbc208a5 camlp4: update 4.03+1 bottle. 2016-05-05 21:36:34 +01:00
Martin Schumann
1fbd34c2aa opam 1.2.2
Incremented revision to force rebuild

Closes #776.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
2016-05-05 21:36:25 +01:00
Martin Schumann
05cbe5285e ocamlsdl: bump revision
To force recompile with new version of ocaml
2016-05-05 21:36:13 +01:00
Martin Schumann
2ff2cf28f8 ocamlbuild 0.9.2
Since Ocaml 4.03.0, ocamlbuild is no longer part of ocaml,
but is still required for other packages, so it is installed separately

Updated camlp4 to depend on ocamlbuild for compilation
2016-05-05 21:36:12 +01:00
Martin Schumann
b86fabe469 camlp4 4.03+1
Needs to be part of the Ocaml 4.03.0 update, because previous Camlp4 does not work with that version.
2016-05-05 21:36:03 +01:00
Martin Schumann
1a15820f5c lablgtk 2.18.4
Needs to be part of the Ocaml 4.03.0 update, because previous Lablgtk does not work with that version
2016-05-05 21:36:00 +01:00
Martin Schumann
7f21fef8e2 camlp5 6.16
Needs to be part of the Ocaml 4.03.0 update, because Camlp5 6.15 does not work with that version
2016-05-05 21:35:50 +01:00
Martin Schumann
449c92c167 ocaml 4.03.0
Added flambda support, as per avsm's suggestion
2016-05-05 21:35:08 +01:00
Dongri Jin
ebc3d5bec8 app-engine-go-* 1.9.37 (#867) 2016-05-05 17:31:33 +01:00
BrewTestBot
1c65901c42 jfrog-cli-go: update 1.2.0 bottle. 2016-05-05 17:27:31 +01:00
Eyal Ben Moshe
cf67a75edf jfrog-cli-go 1.2.0
jfrog-cli-go 1.2.0

Closes #868.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
2016-05-05 17:27:28 +01:00
BrewTestBot
a18122781c svtplay-dl: update 1.1 bottle. 2016-05-05 17:18:47 +01:00
Johan Andersson
496504cded svtplay-dl 1.1
Closes #869.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
2016-05-05 17:18:37 +01:00