Fri, 03 May 2024 06:13:26 UTC | login

Information for build gap-pkg-json-2.0.0-3.fc31

ID118891
Package Namegap-pkg-json
Version2.0.0
Release3.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/gap-pkg-json.git#cfb923fcca5ae30f4c398067f93e8a2e1f8a7f71
SummaryJSON reading and writing for GAP
DescriptionThis package defines a mapping between the JSON markup language and GAP. The built-in datatypes of GAP provide an easy mapping to and from JSON. This package uses the following mapping between GAP and JSON. - JSON lists are mapped to GAP lists - JSON dictionaries are mapped to GAP records - JSON strings are mapped to GAP strings - Integers are mapped to GAP integers, non-integer numbers are mapped to Floats - true, false and null are mapped to true, false and fail respectively Note that this library will not map any other GAP types, such as groups, permutations, to or from JSON. If you wish to map between more complex types, look at the gap-pkg-openmath package, or IO_Pickle in the gap-pkg-io package.
Built bydavidlt
State complete
Volume DEFAULT
StartedWed, 14 Aug 2019 18:00:11 UTC
CompletedWed, 14 Aug 2019 19:33:46 UTC
Taskbuild (f31-candidate, /rpms/gap-pkg-json.git:cfb923fcca5ae30f4c398067f93e8a2e1f8a7f71)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gap-pkg-json.git#cfb923fcca5ae30f4c398067f93e8a2e1f8a7f71'}}
Tags
f31
f32
f33
RPMs
src
gap-pkg-json-2.0.0-3.fc31.src.rpm (info) (download)
noarch
gap-pkg-json-doc-2.0.0-3.fc31.noarch.rpm (info) (download)
riscv64
gap-pkg-json-2.0.0-3.fc31.riscv64.rpm (info) (download)
gap-pkg-json-debuginfo-2.0.0-3.fc31.riscv64.rpm (info) (download)
gap-pkg-json-debugsource-2.0.0-3.fc31.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
root.log
state.log
Changelog * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.0.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Wed Apr 24 2019 Jerry James <loganjerry@gmail.com> - 2.0.0-2 - Rebuild for changed bin dir name in gap 4.10.1 * Tue Feb 26 2019 Jerry James <loganjerry@gmail.com> - 2.0.0-1 - Initial RPM