ID | 9848 |
Package Name | idris |
Links |
Fedora Package Sources |
Fedora Official Koji Buildsystem |
Rocks RISC-V Koji Buildsystem |
Fedora RISC-V GitHub |
Old Koji Buildsystem
|
Version | 1.3.4 |
Release | 14.fc41 |
Epoch | |
Draft | False |
Source | git+https://src.fedoraproject.org/rpms/idris.git#f7c31c95cb17a090d99c454f72736cc7017c1b05 |
Summary |
Description |
Built by | kojiadmin |
State |
complete
|
Volume |
DEFAULT |
Started | Sun, 05 May 2024 22:07:59 CST |
Completed | Mon, 06 May 2024 07:12:35 CST |
Task | build (f41, /rpms/idris.git:f7c31c95cb17a090d99c454f72736cc7017c1b05) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/idris.git#f7c31c95cb17a090d99c454f72736cc7017c1b05'}} |
Tags |
|
RPMs |
|
Logs |
|
Changelog |
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.4-14
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sat Jan 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.4-13
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Wed Jul 26 2023 Jens Petersen <petersen@redhat.com> - 1.3.4-12
- bump upper bounds
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.4-11
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Fri Feb 17 2023 Jens Petersen <petersen@redhat.com> - 1.3.4-6
- refresh to cabal-rpm-2.1.0 with SPDX migration
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.4-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 1.3.4-4
- rebuild
|