3 Commits

Author	SHA1	Message	Date
Julian Ospald	3d34e77c32	dev-lang/fstar: add missing pprint dep	2017-01-08 20:14:03 +01:00
Julian Ospald	63596392f4	dev-lang/fstar: fix fetching	2016-12-18 21:45:22 +01:00
Julian Ospald	5ef5fce567	dev-lang/fstar: initial import ... Change-Id: I0496b405f97e16623e2640443a99231d6282eaab	2016-10-20 22:34:39 +02:00