 Reynir Björnsson
|
c122cc3e68
|
Use synopsis instead of description
|
2019-08-31 17:02:23 +02:00 |
|
Reynir Björnsson
|
709c3a2ee2
|
Opam 2.0
|
2019-08-31 14:42:27 +02:00 |
|
Reynir Björnsson
|
dcdffc7366
|
Add description
|
2019-08-14 11:58:15 +02:00 |
|
Reynir Björnsson
|
1a83472365
|
Add missing fields and post install message
|
2019-08-10 15:57:46 +02:00 |
|
Reynir Björnsson
|
2440395125
|
Add dev-repo
Using git.data.coop !
|
2018-08-29 07:47:58 +02:00 |
|
Reynir Björnsson
|
b15c59db4d
|
Add utop
|
2018-08-20 17:17:36 -04:00 |
|
Reynir Björnsson
|
ecedcf3bd6
|
Initial commit
|
2018-08-20 17:15:11 -04:00 |