8.18.0+0.18.3

ejgallego released this 21 Mar 22:10

· 139 commits to main since this release

bc3450a

CHANGES:

[serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 ,
thanks to @laetitia-teo and @Nfsaavedra for the bug
report)

Contributors

ejgallego, laetitia-teo, and Nfsaavedra

Assets 3