Fixes: Resolve issue with duration conversion from minutes to hours, other minor fixes - Githubissues

accordproject / ergo

Programming Language for Smart Legal Contracts

https://accordproject.org/projects/ergo

Apache License 2.0

158 stars 55 forks source link

Fixes: Resolve issue with duration conversion from minutes to hours, other minor fixes #865

Closed jeromesimeon closed 2 years ago

jeromesimeon commented 2 years ago

Changes

Bug in stdlib when converting from minutes to hours #848
Correct name for the umd module
Update version number in coq source