Commit graph

71353 commits

Author SHA1 Message Date
BrewTestBot
9863e39d85 ocamlbuild: update 0.9.3_1 bottle. 2016-11-30 16:54:19 -08:00
BrewTestBot
69be7ebd37 ocaml: update 4.04.0 bottle. 2016-11-30 16:54:19 -08:00
BrewTestBot
5d203ddb49 ledit: update 2.03_1 bottle. 2016-11-30 16:54:19 -08:00
BrewTestBot
b47e7cf991 lablgtk: update 2.18.5 bottle. 2016-11-30 16:54:19 -08:00
BrewTestBot
612f1ad2fe fstar: update 0.9.2.0_3 bottle. 2016-11-30 16:54:19 -08:00
BrewTestBot
a8e77c47fc flow: update 0.36.0_1 bottle. 2016-11-30 16:54:19 -08:00
BrewTestBot
94c74d47de coq: update 8.5pl3_1 bottle. 2016-11-30 16:54:19 -08:00
BrewTestBot
d21eb2611e camlp5: update 6.17 bottle. 2016-11-30 16:54:19 -08:00
BrewTestBot
d3f150698c camlp4: update 4.04+1 bottle. 2016-11-30 16:54:19 -08:00
ilovezfs
b212703c78 ssreflect: revision for camlp5
Closes #7146.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
2016-11-30 16:54:16 -08:00
ilovezfs
8c5f62349b ledit: revision for camlp5 2016-11-30 16:54:15 -08:00
ilovezfs
e523b1df8f coq: revision for camlp5 2016-11-30 16:54:15 -08:00
ilovezfs
0c9ca4d4f4 camlp5 6.17
also serves as revision for ocaml
2016-11-30 16:54:15 -08:00
ilovezfs
6580411dcc zero-install 2.12-1
also serves as revision for ocaml
2016-11-30 16:54:15 -08:00
ilovezfs
a8f1b464ca ocamlsdl: revision for ocaml 2016-11-30 16:54:15 -08:00
ilovezfs
a5daa44338 lablgtk 2.18.5 2016-11-30 16:54:15 -08:00
ilovezfs
5a7cc65f68 fstar: revision for ocaml 2016-11-30 16:54:15 -08:00
ilovezfs
c4e156d7b2 flow: revision for ocaml
apply upstream commit adding compatibility for OCaml 4.04.0 as a patch
2016-11-30 16:54:15 -08:00
ilovezfs
80ac9a261a camlp4 4.04+1 2016-11-30 16:54:15 -08:00
ilovezfs
4e07b10215 ocamlbuild: revision for ocaml 2016-11-30 16:54:15 -08:00
ilovezfs
d66c9baa55 ocaml 4.04.0 2016-11-30 16:54:15 -08:00
BrewTestBot
664b405b2a
ansifilter: update 2.3 bottle. 2016-11-30 13:26:12 -05:00
Zhiming Wang
af24703573
ansifilter 2.3
Closes #7423.

Signed-off-by: William Woodruff <william@tuffbizz.com>
2016-11-30 13:26:11 -05:00
BrewTestBot
17794152a5
yelp-tools: update 3.18.0 bottle. 2016-11-30 12:37:44 -05:00
A. Jesse Jiryu Davis
74afdb8739
yelp-tools: upgrade yelp-xsl resource to 3.20.1
Closes #7386.

Signed-off-by: William Woodruff <william@tuffbizz.com>
2016-11-30 12:37:43 -05:00
BrewTestBot
fe9083bddb
lean-cli: update 0.5.3 bottle. 2016-11-30 12:31:46 -05:00
Long Ang
75e553cdb9
lean-cli 0.5.3
Closes #7416.

Signed-off-by: William Woodruff <william@tuffbizz.com>
2016-11-30 12:31:45 -05:00
BrewTestBot
6decedbd34
mongodb: update 3.4.0 bottle. 2016-11-30 12:29:45 -05:00
Yuri S
49f609d591
mongodb 3.4.0
Closes #7419.

Signed-off-by: William Woodruff <william@tuffbizz.com>
2016-11-30 12:29:35 -05:00
BrewTestBot
07d504d288
offlineimap: update 7.0.11 bottle. 2016-11-30 12:25:50 -05:00
Alexander Hamann
bea398dfa4
offlineimap 7.0.11
Closes #7420.

Signed-off-by: William Woodruff <william@tuffbizz.com>
2016-11-30 12:25:48 -05:00
BrewTestBot
3bf47dda01 bazel: update 0.4.1 bottle. 2016-11-30 06:12:19 -08:00
David Pursehouse
36fa32e0ae bazel 0.4.1
Closes #7417.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
2016-11-30 06:12:17 -08:00
BrewTestBot
dd234fd24d gstreamer: update 1.10.2 bottle. 2016-11-30 06:10:29 -08:00
BrewTestBot
34ec584f13 gst-validate: update 1.10.2 bottle. 2016-11-30 06:10:29 -08:00
BrewTestBot
efa0f73fd0 gst-python: update 1.10.2 bottle. 2016-11-30 06:10:29 -08:00
BrewTestBot
2d1e1d0f29 gst-plugins-ugly: update 1.10.2 bottle. 2016-11-30 06:10:29 -08:00
BrewTestBot
d530aae3fb gst-plugins-good: update 1.10.2 bottle. 2016-11-30 06:10:28 -08:00
BrewTestBot
0bcc235e87 gst-plugins-base: update 1.10.2 bottle. 2016-11-30 06:10:28 -08:00
BrewTestBot
404bb87999 gst-plugins-bad: update 1.10.2 bottle. 2016-11-30 06:10:28 -08:00
BrewTestBot
8cf44bc987 gst-editing-services: update 1.10.2 bottle. 2016-11-30 06:10:28 -08:00
ilovezfs
5533190aaf gst-python 1.10.2
Closes #7415.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
2016-11-30 06:10:26 -08:00
ilovezfs
be02070022 gst-editing-services 1.10.2 2016-11-30 06:10:26 -08:00
ilovezfs
6cc7eab110 gst-validate 1.10.2 2016-11-30 06:10:25 -08:00
ilovezfs
6df5af3496 gst-plugins-ugly 1.10.2 2016-11-30 06:10:25 -08:00
ilovezfs
5c4e9f2415 gst-plugins-bad 1.10.2 2016-11-30 06:10:25 -08:00
ilovezfs
aa7014e55e gst-plugins-good 1.10.2 2016-11-30 06:10:25 -08:00
ilovezfs
3d8d55ae8b gst-plugins-base 1.10.2 2016-11-30 06:10:25 -08:00
ilovezfs
78deee7f93 gstreamer 1.10.2 2016-11-30 06:10:25 -08:00
BrewTestBot
8ffa58639f gitlab-ci-multi-runner: update 1.8.1 bottle. 2016-11-30 06:08:30 -08:00