Commit graph

7 commits

Author SHA1 Message Date
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