diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-09-29 09:39:53 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-09-29 09:45:10 +0100 |
commit | 42c952e68ccd293b60f3f44b7f7a6b2f60266608 (patch) | |
tree | d5036a55d4fe42f5b7a2a2c7ba8039ea0de2640d /vericert.opam | |
parent | 6fff98acc423b15db77c62d299b092f899f0f6fc (diff) | |
download | vericert-42c952e68ccd293b60f3f44b7f7a6b2f60266608.tar.gz vericert-42c952e68ccd293b60f3f44b7f7a6b2f60266608.zip |
Fix CI runs using flake
Diffstat (limited to 'vericert.opam')
0 files changed, 0 insertions, 0 deletions