Releases · grayswandyr/electrod · GitHub

25 Jan 08:36

grayswandyr

0.1.4

0.1.4 (2018-01-25)

Fix OPAM problem. '+' sign poses a problem with Github releases or topkg??

Assets 3

25 Jan 08:24

grayswandyr

0.1.3+2

0.1.3+2 (2018-01-25)

Fix OPAM problem.

Assets 3

25 Jan 08:10

grayswandyr

0.1.3-2

0.1.3 (2018-01-24)

Fix OPAM problem.

Assets 3

24 Jan 20:18

grayswandyr

0.1.3

0.1.3 (2018-01-24)

Fix OPAM problem.

Assets 3

24 Jan 15:49

grayswandyr

0.1.2

0.1.2 (2018-01-24)

First OPAM (tentative) release
Joint switch to Jbuilder/Dune

Assets 3