This website requires JavaScript.
Explore
Help
Sign In
devs
/
cproof
Watch
1
Star
2
Fork
1
You've already forked cproof
Code
Issues
43
Pull Requests
9
Actions
Packages
Projects
1
Releases
Wiki
Activity
6,653
Commits
65
Branches
0
Tags
064ee6b1e1e4ecd9fa261a790e97c748c57807ef
Commit Graph
2 Commits
Author
SHA1
Message
Date
Michael Vetter
61cebcdf5b
ci: switch from libmesode to libstrophe
2021-10-28 20:13:41 +02:00
William Wennerström
1de9cffd1a
Ubuntu Latest (20.04 currently) in CI
2020-07-10 14:14:04 +02:00