Name : coq-devel
| |
Version : 8.19.2
| Vendor : obs://build_opensuse_org/science
|
Release : bp156.68.3
| Date : 2024-07-09 07:49:23
|
Group : Development/Libraries/Other
| Source RPM : coq-8.19.2-bp156.68.3.src.rpm
|
Size : 289.21 MB
| |
Packager : https://www_suse_com/
| |
Summary : Development files for coq
|
Description :
This package contains development files for Coq.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/15.6/x86_64 |