idris2-libs-0.7.0-4.el9 in Fedora EPEL 9
↵ Return to the main page of idris2-libs
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2025-07-04 | Jens Petersen <petersen at redhat dot com> - 0.7.0-4 | - obsolete idris2-lib |
| 2025-07-04 | Jens Petersen <petersen at redhat dot com> - 0.7.0-3 | - redisable s390x |
| 2025-07-02 | Jens Petersen <petersen at redhat dot com> - 0.7.0-8 | - rename boot bcond to scm_boot (#2314358) - rename lib subpackage to libs (zbyszek, #2314358) |
| 2025-07-01 | Jens Petersen <petersen at redhat dot com> - 0.7.0-7 | - provides idris2-static |
| 2025-07-01 | Jens Petersen <petersen at redhat dot com> - 0.7.0-6 | - samples is gone with the archive tarball |
| 2025-01-20 | Jens Petersen <petersen at redhat dot com> - 0.7.0-3 | - use github archive tarball (zbyszek, #2314358) - enable s390x - rename docs subpackage to noarch doc (#2314358) - move license file to lib (zbyszek, #2314358) |
| 2025-01-19 | Jens Petersen <petersen at redhat dot com> - 0.7.0-2 | - use modern bcond macro (#2314358) |
| 2024-06-25 | Jens Petersen <petersen at redhat dot com> - 0.7.0-1 | - update to 0.7.0 - require chez-scheme-10 |
| 2023-08-19 | Jens Petersen <petersen at redhat dot com> - 0.6.0-0.1 | - update to 0.6.0 https://github.com/idris-lang/Idris2/blob/v0.6.0/CHANGELOG.md - revert to chez-scheme |
Provides
- idris2-libs
- idris2-libs(x86-64)
- libidris2_support.so()(64bit)
Files
- usr/
- lib/
- .build-id/
- e5/
- eca6c8f78527b8a73a336f9c177737fd602a24
- e5/
- .build-id/
- lib64/
- libidris2_support.so
- share/
- licenses/
- idris2-libs/
- LICENSE
- idris2-libs/
- licenses/
- lib/
Sources on Pagure