SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

idris2 rpm build for : openSUSE Tumbleweed. For other distributions click idris2.

Name : idris2
Version : 0.7.0.git.20241005.f840d1b Vendor : obs://build_opensuse_org/home:lorenz
Release : 15.1 Date : 2024-02-21 11:17:49
Group : Unspecified Source RPM : idris2-0.7.0.git.20241005.f840d1b-15.1.src.rpm
Size : 163.54 MB
Packager : (none)
Summary : A dependently typed programming language, a successor to Idris
Description :
This is a pre-alpha implementation of Idris 2, the successor to Idris.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/lorenz:/idris/openSUSE_Tumbleweed/x86_64

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
idris2
idris2(x86-64)
libidris2_support.so()(64bit)

Requires :
/bin/sh
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
racket
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/bin/idris2
/usr/bin/idris2_app
/usr/bin/idris2_app/idris2
/usr/bin/idris2_app/idris2-boot
/usr/bin/idris2_app/idris2-boot.rkt
/usr/bin/idris2_app/idris2.rkt
/usr/bin/idris2_app/libidris2_support.so
/usr/idris2-0.7.0
/usr/idris2-0.7.0/base-0.7.0
/usr/idris2-0.7.0/base-0.7.0/2024060800
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/App
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/App.ttc
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/App.ttm
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/App/Console.ttc
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/App/Console.ttm
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/App/FileIO.ttc
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/App/FileIO.ttm
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Applicative
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Applicative/Const.ttc
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Applicative/Const.ttm
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Function
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Function.ttc
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Function.ttm
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Function/FunExt.ttc
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Function/FunExt.ttm
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Monad
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Monad/Either.ttc
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Monad/Either.ttm
/usr/idris2-0.7.0/base-0.7.0/2024060800/Control/Monad/Error
There is 686 files more in these RPM.

  
ICM