4 Commits

Author	SHA1	Message	Date
Julian Ospald	286ff3c58f	dev-lang/fstar: fix scm exheres	2017-06-24 16:32:29 +02:00
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