Commit Graph

3 Commits

Author SHA1 Message Date
490aa3bf2e Fix up the fuCKIGN versions 2024-12-09 11:45:41 +01:00
fdc4ccef4c First coq build 2024-12-08 23:44:42 +01:00
a40cb99745 Add cykaOfqud 2024-12-08 23:22:46 +01:00