licences
|
licences: add repoze
|
2016-08-13 17:22:32 +02:00 |
metadata
|
dev-lang/fstar: initial import
|
2016-10-20 22:34:39 +02:00 |
packages
|
media-gfx/pinta: add missing build-time dep
|
2016-11-06 13:54:22 +01:00 |
profiles
|
Initial import
|
2014-11-24 18:31:57 +01:00 |
.gitreview
|
Add .gitreview
|
2016-05-26 12:01:45 -04:00 |
README.md
|
README: adjust description
|
2016-02-17 02:18:54 +01:00 |