Commit graph

6 commits

Author SHA1 Message Date
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