alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,342 Commits 27 Branches 1 Tag
2d3c9c45356fafa980ab2b4e4c2ce4a7f121ffcb
Commit Graph

1 Commits

Author SHA1 Message Date
Daniel King 25bc3286fa libkeccak 3.0.0 (#533) 
* libkeccak 3.0.0

* Remove dependency on gnatprove
 2022-06-06 20:11:53 +02:00