12 commits

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