feat: make sure mithril package files are stable#722

jeluard merged 1 commit intomainpragma-org/amaru:mainfrom

jeluard/better-mithrilpragma-org/amaru:jeluard/better-mithrilCopy head branch name to clipboard