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
|
net-www/inox*: bump to 54.0.2840.100
|
2016-12-04 19:30:49 +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 |