Mon, 29 Apr 2024 18:48:29 UTC | login

Information for build gap-pkg-autodoc-2023.06.19-6.fc40

ID303625
Package Namegap-pkg-autodoc
Version2023.06.19
Release6.fc40
Epoch
SummaryGenerate documentation from GAP source code
DescriptionThis package is an add-on to GAPDoc that enables generating documentation from GAP source code.
https://github.com/gap-packages/AutoDoc
Built bydavidlt
State complete
Volume DEFAULT
StartedSat, 06 Apr 2024 09:14:35 UTC
CompletedSat, 06 Apr 2024 09:14:35 UTC
Tags
f40
RPMs
src
gap-pkg-autodoc-2023.06.19-6.fc40.src.rpm (info) (download)
noarch
gap-pkg-autodoc-2023.06.19-6.fc40.noarch.rpm (info) (download)
gap-pkg-autodoc-doc-2023.06.19-6.fc40.noarch.rpm (info) (download)
Changelog * Fri Mar 15 2024 Jerry James <loganjerry@gmail.com> - 2023.06.19-6 - Rebuild for gap 4.13.0 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2023.06.19-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2023.06.19-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2023.06.19-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Mon Jun 19 2023 Jerry James <loganjerry@gmail.com> - 2023.06.19-1 - Version 2023.06.19 * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2022.10.20-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Thu Jan 12 2023 Jerry James <loganjerry@gmail.com> - 2022.10.20-2 - Update for split GAP directories * Thu Nov 10 2022 Jerry James <loganjerry@gmail.com> - 2022.10.20-1 - Use upstream's method of bootstrapping - Clarify license of the doc subpackage * Thu Oct 20 2022 Jerry James <loganjerry@gmail.com> - 2022.10.20-1 - Version 2022.10.20 * Mon Sep 26 2022 Jerry James <loganjerry@gmail.com> - 2022.07.10-3 - Update for gap 4.12.0 * Tue Aug 16 2022 Jerry James <loganjerry@gmail.com> - 2022.07.10-2 - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2022.07.10-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Jul 18 2022 Jerry James <loganjerry@gmail.com> - 2022.07.10-1 - Version 2022.07.10