Julian Ospald 5ef5fce567 dev-lang/fstar: initial import ... Change-Id: I0496b405f97e16623e2640443a99231d6282eaab		2016-10-20 22:34:39 +02:00
..
accounts	games-fps/sauerbraten: initial import of version 2013.02.03	2016-02-24 20:29:19 +01:00
about.conf	Initial import	2014-11-24 18:31:57 +01:00
categories.conf	metadata: add dev-ocaml category	2016-10-16 18:17:58 +02:00
layout.conf	xfce-extra/xfce4-mixer: moved to ::xfce	2016-07-16 13:13:53 +02:00
repository_mask.conf	dev-lang/fstar: initial import	2016-10-20 22:34:39 +02:00