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
6
Actions
Packages
Projects
1
Releases
Wiki
Activity
6,649
Commits
62
Branches
0
Tags
753d9dbbdb19df28827e8fdbb36455e1cfd3f52d
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