Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

idris2-debugsource-0.7.0-4.fc42 RPM for aarch64

From Fedora 42 updates for aarch64 / debug / Packages / i

Name: idris2-debugsource Distribution: Fedora Project
Version: 0.7.0 Vendor: Fedora Project
Release: 4.fc42 Build date: Fri Jul 4 10:01:10 2025
Group: Development/Debug Build host: buildvm-a64-16.rdu3.fedoraproject.org
Size: 40538 Source RPM: idris2-0.7.0-4.fc42.src.rpm
Packager: Fedora Project
Url: https://www.idris-lang.org
Summary: Debug sources for package idris2
 
This package provides debug sources for package idris2.
Debug sources are useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

BSD-3-Clause

Changelog

* Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-4
  - obsolete idris2-lib
* Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3
  - redisable s390x
* Wed Jul 02 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-8
  - rename boot bcond to scm_boot (#2314358)
  - rename lib subpackage to libs (zbyszek, #2314358)
* Tue Jul 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7
  - provides idris2-static
* Tue Jul 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-6
  - samples is gone with the archive tarball
* Mon Jan 20 2025 Jens Petersen <petersen@redhat.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)
* Sun Jan 19 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-2
  - use modern bcond macro (#2314358)
* Tue Jun 25 2024 Jens Petersen <petersen@redhat.com> - 0.7.0-1
  - update to 0.7.0
  - require chez-scheme-10
* Sat Aug 19 2023 Jens Petersen <petersen@redhat.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

Files

/usr/src/debug/idris2-0.7.0-4.fc42.aarch64
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/getline.c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_directory.c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_file.c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_file.h
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_memory.c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_net.c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_net.h
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_signal.c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_support.c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_system.c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_term.c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_util.c
/usr/src/debug/idris2-0.7.0-4.fc42.aarch64/support/c/idris_util.h

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 24 00:40:27 2025