gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2026-02-28 14:33:37 -08:00
Code Issues Packages Projects Releases Wiki Activity
868 Commits 62 Branches 19 Tags
c7ec12be9a3a1a594ae8f1e85cc2966d8f73fe48
Commit Graph

2 Commits

Author SHA1 Message Date
Benjamin Lipp
c7ec12be9a feat: add nix setup for marzipan 2025-02-20 15:04:24 +01:00
Karolin Varner
2a917de6d8 add marzipan, a dialect of proverif 2023-02-23 20:46:17 +01:00