| Name : rocq-devel
| |
| Version : 9.2.0
| Vendor : obs://build_opensuse_org/science
|
| Release : 82.66
| Date : 2026-03-31 23:41:58
|
| Group : Development/Libraries/Other
| Source RPM : coq-9.2.0-82.66.src.rpm
|
| Size : 257.74 MB
| |
| Packager : (none)
| |
| Summary : Development files for coq
|
Description :
This package contains development files for Coq.
|
RPM found in directory: /pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Tumbleweed/i586 |
