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

idris2-debugsource-0.8.0-1.el10_2 RPM for x86_64

From EPEL 10.2 Testing for x86_64 / debug / Packages / i

Name: idris2-debugsource Distribution: Fedora Project
Version: 0.8.0 Vendor: Fedora Project
Release: 1.el10_2 Build date: Fri Nov 7 16:33:18 2025
Group: Development/Debug Build host: buildhw-x86-09.rdu3.fedoraproject.org
Size: 41709 Source RPM: idris2-0.8.0-1.el10_2.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

* Tue Nov 04 2025 Jens Petersen <petersen@redhat.com> - 0.8.0-1
  - https://github.com/idris-lang/Idris2/blob/v0.8.0/CHANGELOG.md
  - recommend rlwrap for repl
* Tue Nov 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-8
  - update comments for excluded archs
* Sat Nov 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7
  - only disable debug_package for el9
* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.7.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-5
  - lock to the current chez-scheme version
* 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

Files

/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/getline.c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_directory.c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_file.c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_file.h
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_memory.c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_net.c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_net.h
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_signal.c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_support.c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_system.c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_term.c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_util.c
/usr/src/debug/idris2-0.8.0-1.el10_2.x86_64/support/c/idris_util.h

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Nov 8 06:37:46 2025