Bundle charon in the nix output of eurydice#364

Nadrieril merged 1 commit intoAeneasVerif:mainAeneasVerif/eurydice:mainfrom

Nadrieril:bundle-charonNadrieril/eurydice:bundle-charonCopy head branch name to clipboard