Information for RPM idris-manual-1.3.4-5.fc37.noarch.rpm
ID | 873494 | ||||||||
---|---|---|---|---|---|---|---|---|---|
Name | idris-manual | ||||||||
Version | 1.3.4 | ||||||||
Release | 5.fc37 | ||||||||
Epoch | |||||||||
Arch | noarch | ||||||||
Summary | The Idris manual | ||||||||
Description | This package provides the manual for the Idris programming language. | ||||||||
Build Time | 2022-11-03 20:02:57 GMT | ||||||||
Size | 629.72 KB | ||||||||
17c9f648335f4e1b9fc96841dd0a744b | |||||||||
License | BSD | ||||||||
Buildroot | f37-build-664721-74155 | ||||||||
Provides |
|
||||||||
Obsoletes | No Obsoletes | ||||||||
Conflicts | No Conflicts | ||||||||
Requires |
|
||||||||
Recommends | No Recommends | ||||||||
Suggests | No Suggests | ||||||||
Supplements | No Supplements | ||||||||
Enhances | No Enhances | ||||||||
Files |
|
||||||||
Component of | No Buildroots |