Skip to content

Releases: sigurdschneider/smpl

Release smpl for 8.7+beta1

20 Sep 08:38
@sigurdschneider sigurdschneider
V8.7+beta1
76b3566
Compare
Choose a tag to compare
Release smpl for 8.7+beta1 Latest
Latest 
V8.7+beta1

Remove unused rule from Makefile
Assets 2
Loading

Preview release compatible with Coq 8.6.1

19 Sep 17:06
@sigurdschneider sigurdschneider
V8.6.1
c5e26e6
Compare
Choose a tag to compare
Preview release compatible with Coq 8.6.1 
V8.6.1

Add MIT licence
Assets 2
Loading