summaryrefslogtreecommitdiff
path: root/math/coq/Makefile
diff options
context:
space:
mode:
authorNuno Teixeira <eduardo@FreeBSD.org>2024-07-05 13:30:04 +0100
committerNuno Teixeira <eduardo@FreeBSD.org>2024-07-05 14:51:48 +0100
commit457e6668158f77c9004453d92737ec4cf678658a (patch)
tree2bcba39a7c616beebc5907fb4706e060873e2d6d /math/coq/Makefile
parentsecurity/aws-c-cal: Update to 0.7.1 (diff)
devel/aws-crt-cpp: Update to 0.27.2
ChangeLog: https://github.com/awslabs/aws-crt-cpp/releases/tag/v0.27.2
Diffstat (limited to 'math/coq/Makefile')
0 files changed, 0 insertions, 0 deletions