Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Try weaning ourselves completely off of staticfloat/julia* Homebrew taps #30991

Merged
merged 14 commits into from
Feb 12, 2019
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add SS checksums
  • Loading branch information
staticfloat committed Feb 7, 2019
commit 3141ec99b77f2ea4150bb5b5848b28e8912bef65
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
c043951463679ab86b91a5ca468522e3
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
8ccfabf47db863b4467dcf6fc5e6a3a91c62988680b62d5103a066df54998c974dd7b8709fa0381c40ec1448bc5fc9f25d07680f1ea5144bef58f92af08e423e
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
1914ff3eb5082451e156f053a495f394
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
cc7f2d39bd1932cb35e5b76705e26d344d949845c9377fccc7dbfaca3beb7284cc8851d66386a9e6172078662bc902d6bced25aab8f50625079e09b666a8d57e
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
7649e882cae155729a75d63fc39503ca
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
b4d965f10bde3e387bc828f21409f9f1b8f59f816d383fe99fbfe18a63213feba4b60b8e7da993e6b9977093fe5b2eb8e1bceb3e34f00d237fae9e8c66da3fc9
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
7e19016367bc89d9e1a177a2c913f120
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
3d758b659cf7453854dbc69b474e6d51923d2f1436a06734f032431df66f1b8eacdbb6c76e41ee1f982e767b682e08b4bea91397d3ab2773a7926165b7e5eabc
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
efe6b2cc589732974aafa3397cf6f59d
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
48818635949379ea0a68d3aab25377bed861265d4e002c579955d8115e3e2a1e47aeb9b6a255f765a6fa918d11bfb900c6150fbdaea0576a2d0d3e1587bfd418
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
6257af30eb58a45521f3f19563b917b9
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
cbd1278baf0b92c7ca1c29275dfa6b2a6a722b0ffbeb57a22ee2077a2cf1e6c5873e89b2b3fc839932fd5850178cbe09cbb436fe9c03d8335c31536f1ef8abf7
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
c3d62c780cab241cd7f763c0d568502f
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
a657f3ff4633c2d3b383a6584fc46cfe56656daa9620491e3f6c889ebf6fa6378f5348d42a7ae840f182f993f44c1c9396277eebed214813314d1f4aa0897cd7
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
4dfd1fbcf23ac8eb41a7c7dba709a955
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
85dadd8d3f7014dccfbb9917d6e1c5b65ed21c0f6eea8ecfce0fc6691498519fa9cf9ac3adfa23e2db22fbbb2751702d778ad6424641a234b4e4269dcca8d9d0
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
e0f742fd21deedd6715c5bb3ed1c7fa6
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
0ab70a245dc66b291da276f914a5406d08eb4e77813cac2d10a07472a03229610d4837332755205321531ac586161c740385696d9241bb8e6e06751f72a1cec2
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
26a8dc53f99ab35b1ec90d5322705f0b
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
cd806fe67c6d2b2dc567140aa87e307f09e694ef0dd5f3f82c85868c097802a3e50fd0f59aa226dea5530fadfa28ddb8f3c2f9f29d300809ee4d6f2a3ab75662
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
96dae2399523780616529f88856b83c0
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
cd13b047a0fbfe393984b67835d356356aff3cd87e1d8e803b5e1c565a336dc3aaed0dc39b1f15a663a101824de8fad1f891033c204c2dcce03cb8f9b287df0f
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
e71c1b75739a3b77f327c66bdd75a2e2
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
fbdf9dfaf4f5ba6391b0e78a60bfb3da43ecf72fb984e4ec35deb7c10054c9d8b4b4c0ef2de50b1ea4b50fc031b9d5bf9eb17264accdc1079a68e12b3266a911
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
1a60a5e298886161e2756aa10d68e02f
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
e1839e1ed5311827fe5cc3c87d355ec48f95a24ddd1a7006ad8d52e41fa2ccfa44920fb892b3ca00f69a9b42cfd62d55f112b30a092be1cf1f2d52a04a90ff6c
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
009f8ac124d3d82abd32126195107c3a
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
7a7af092be764ac17cfc2a3433e55e2859c03ec6c3baea7234a1700b1b3333ff61309168bdffbf44676e6b35e92464b459c9bef565575d0a70b6cdf8dbf36fb5
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
6a70e5156a6f68a3355f27045397988c
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
3df831be4784487f15feccdd0856b3365bea0d59c4ecdc0ab45641e3c1cef04f37862281f1e7c8c4dc64bbb7887c9d20def68f5f833ecc98e5421b61b02a934e
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
83e31de9abc1beacabc38f94a48f9ff2
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
84c8937b1025d0fc79700906951544b5f027ce46085af4cf458c65249b5cb192cfcecabd2fc364e60341a3a7d11636c659c5d1a758594b74197801f6c8b0fa17
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
b59baeeb7566ebdac3e141afd13ba7d1
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
1aa14a83796b63fa0cb0020d40f0edc14b8aed3470480365f571fc75bc28e28684eb6aa5fec2079e1fa5be0b88b043a64be2f2180051f481be07a7e8094d824a
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
3b180331ea002fd4d09efa4f058af06e
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
d7a00b6afcdbb16a8a670f012669efbcee50a15d83f19c6e2ae6ea537a664e1d0651952a65d42530f9ffb91c41ecbdbb370f4713a5564cff282591ae620dab43
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
b81c5d2855a79ab2d436d7dabb1dc0c9
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
7d6896d58d7ec9399285b84ee9c86aece50416ebaea53a85a4d30e898323b864c1ea28deb2f63f4fed3d70de3afa3c063f1d228305c3e7660c6fb047af8be9b4
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
fac775eb74918c22e2a67a01691a9cfa
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
b78574d11a0c0af1f905c0ac986ea955c680382545964885759e00dcdd9ff823f425f8ff68a814d432a03a82001fc284475a45f23d5c622e8a4c138f31bd271c
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
68d408dfec9f3b2eb4771c163d5b61cf
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
558cf90b6cc9681dd6ae14eb9afbe0714abf4519b5abd37f780bb6dc62ca79800e4b0aa51f1a9a9f0e6f3a30f019fa8c1759c7e893bc2f94dfd0d0e747dfb603
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
00919b25234d975e6533484022a7c300
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
3d1f938bbb63fa8cd8cad52241cf001152d0d2b5a3e86a4e9d4e9c2892661e3a21cb849abb50d781a05020223880d8ec98a116fb9d11996a55b528dac80607ff
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
306b046e773b97435f8379558d49c2cf
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
2a5c47b56d7827cd2c3e23f18a569c95a4be3c05ee721d87bb6c9405fb1f204398e24c1091961278e2705fa7727207e773fefd0fa966f03474833db18bf241f9
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
e95b6573cb198455f59091a40c51c041
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
45160500a5d317925a21564885b96740cc6fc8d84ba6cd5b1fdb67f1885578e05082981495b442003480b9614b30cbdde4f06c679f8d134ef598088661e79323
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
ebf751aad6cc9e6622ee906599de894c
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
b5c07e9ab5c02acdf9a3916c9780e0a9404abebce1ec913b2a4996ca5f1a6c3b96ad513dbbbacc9c5282fe4ee178ab135e6c376034c6f2336fa87d34146b38c7
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
b93e442ef5c441ba80db3642e7f21f50
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
da398e2c917a644d6a5bef7e33664511dc1c5fa0840a0132390a8445bced30d4682d4a6c598820a5c516d8c2041688b7befdfc1dd770795be1177c3af3401353
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
384a8dafd78914c91a42621749e6d5a2
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
9884133eb2424d9a3487ec6a898c5640cdc8f0c2127cca0b028bede2da0d1f9381409b3095112e9391d8c0b26a7ee5ddb71b171b6f777f966ebe3ef1c74a590f
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
0defb1e829de40cee446d078ce8aa514
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
dcb45175513c26a991c4106512f9df02f6967a09f96b5b89caa416f41f7ed456d273704e1533dc9641748e054248bf620b8936fa8089cfb0791f5db24c565a32
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
f68315c8130afb1b0252bb54ae742df3
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
8182597471f33a43be8784b547dc212b19e8d27671933df367ad2ba87ee8caa5c1d3a5b69da14073ca41b8ce734749dab4a0285e90681900a8f17bfbbf2a6318
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
cbce3b77e50a0200970fe8464e86389d
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
a7d7df399f550c2fb3127d5ca71b47056c89d5f5bdba725c6971a7ee2a47d2b7e7f5cc16c97dba721e9a7656b57eb25a4b05d7cb4beb2a4f172f4ef39f80e9a6
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
60f1df290d47ac01200f1a3b6dca9485
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
8caae6f476673b2c7719367efde9496fb64a8f16ca5e51a85eda673c74eb247ac5f64a92cc5cffc11baf38696d9f1537e09410c66b9596600edf5647ef4299fb
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
d4cb0013c4b1be8de0b211213625d0e9
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
262fc1daf4142bdc74e00756adb32310196a9eeb0296d6eeacc2f46ebd906ed95314cb5a835ecc9c23672a54a1a142142b5ce7423c7d182ad299ebb9a914ec99
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
8f56c74f7163096c6b5f04dccdee5aa1
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
9ffd76d870306ff27564a6608eb19f60dcbc4cbe799df28fdc8d78e12a574dc230823a5507c287ea0ec27e5faf002d7de21470408988394300641c505fa48279
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
b7e62510b2ec9855fca9a0f6c9042088
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
5681710da058b7f1f926a34899ab419fd4a7fb0a4d8133542c70b1ba2d28979f55ec00c6580eda8e067848917383a23e5b47ad11990de41c1a426cf15ab6c809
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
dba7802ca83b814d258c9b069ac7570a
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
9245eeb4368ae9a6383d5c0c389c0538c59b871a9d5bf4bf663f18d425fe5b2dcf25a661513822a881652e631b9be01a3dc1c9a85ea24890f797e3a86f45c29f
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
ed4770039481690e8c3e1bf26fb36694
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
b9a75ee7133df4f36cbd717c97f04ba3a8e313adc7de5f8e150441a03c68a222a3d865472736b30bef91521ea6e4f320a05d39b34ee362669fa5f7bb95dad619
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
34f63c4a18cacdc2993c39afa0763d20
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
c0e5da244c013128c4b7b48fa3221786b22e5fdeaedf47bbcbd43ae270a439ae0e4dc91c2bc82fde4b496e1689758f7327e871e814a6ab7fa11508fad93b7f5e
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
5fe9bc09a30941813e478e9529ae2306
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
5b0c45a0e3e81c538355b3fe7bb3f041c150dc9a69a26d231a4663e0dc0906bc4e54ba55459a6d824f909899682d1a793eafd7598d2097fb6906ba4b1b4defd0
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
3c781d20049210ea036a2c0c3c8307cf
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
a09f71e62431dc200a3b59bc2173a5256e89777b6b5e31a7cf7bf2c6ef62b7fa44baf86b93465306ab84cc446f24ffdf6c56d1e00552ffe1fa34613dbf415d23