pool/ocaml-rpm-macros
SHA256
3
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
84 Commits 2 Branches 0 Tags 203 KiB

Default Branch

factory

ec53aa3f77 · Accepting request 1201435 from devel:languages:ocaml · Updated 2024-09-18 15:26:51 +02:00
 ZIP  TAR.GZ

Branches

devel

62b37f0bd1 · - Package also *.vo and *.glob, for Coq · Updated 2024-09-09 15:31:00 +02:00    dirkmueller

83
0
 Included
 ZIP  TAR.GZ