about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/iris-named-props
AgeCommit message (Expand)AuthorFilesLines
2023-11-10coqPackages.iris-named-props: new expression (#263100)ineol1-0/+17
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 07:45:54 +0000