nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-31 01:02:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,105,708 Commits 278 Branches 81 Tags
master
Commit Graph

1 Commits

Author SHA1 Message Date
Chandradeep Dey
a9352d446b rocqPackages.actris: init at 4.5.0 
Actris is a framework for session-protocol reasoning in Iris.
Version 4.5.0 is released in the rocq-prover opam repository as
rocq-actris, and builds against Iris 4.5.0.

Assisted-by: Claude Code (Claude Opus 5.5)
 2026-10-06 16:51:50 -04:00