Commit graph

13 commits

Author SHA1 Message Date
Jörg Thalheim
3d444cfd8e
pyre: simplify build phases 2018-12-03 08:19:28 +00:00
Jörg Thalheim
92cba3aa0c
pyre: remove unused makeWrapper 2018-12-03 08:19:07 +00:00
Mario Rodas
5058d365a1
pyre: 0.0.17 -> 0.0.18 2018-12-02 20:29:45 -05:00
Patrick Hilhorst
b0e9fc131c
treewide: Fix packages using name where they should use pname 2018-11-06 00:06:17 +01:00
Mario Rodas
91ce8c050f pyre: 0.0.14 -> 0.0.17 2018-11-02 07:07:52 -05:00
Mario Rodas
c7c278dc0f pyre: enable tests 2018-11-01 22:31:11 -05:00
Mario Rodas
f422f8d0ad pyre: fix darwin build 2018-11-01 22:29:18 -05:00
Théo Zimmermann
7ff90cd103
pyre: 0.0.11 -> 0.0.14 2018-09-21 14:37:39 +02:00
Vincent Laporte
fc19401d67 jbuilder: 1.0.1 -> dune: 1.1.1 2018-09-15 19:32:32 +00:00
Jörg Thalheim
c4d8d4b4d6 pyre: substituting %VERSION% in Makefile no longer required 2018-09-09 14:44:54 +01:00
Tom Hunger
9110f768cf pyre: 0.9.0 -> 0.11.0 2018-09-08 22:22:00 +01:00
Brandon Elam Barker
e75a95d59c pyre: 0.0.8 -> 0.0.10 (#44023)
renamed pyre to pyre.bin; see upstream issue at:
https://github.com/facebook/pyre-check/issues/79#issuecomment-407150170
2018-07-29 21:29:29 +02:00
teh
17fe19f5bf pyre: init at 0.0.8 (#43212) 2018-07-11 01:20:17 +02:00