Agda-stdlib-1.3-3.fc33.noarch.rpm | RPM Info

Information for RPM Agda-stdlib-1.3-3.fc33.noarch.rpm

646275

Name

Agda-stdlib

Version

1.3

Release

3.fc33

Epoch

Arch

noarch

Summary

Agda standard libraries

Description

Agda standard libraries

Build Time

2020-07-27 10:20:42 GMT

Size

624.76 KB

SIGMD5

e6ed7fd229390aa23095310af198391d

License

MIT

Provides

Agda-stdlib = 1.3-3.fc33

Obsoletes

ghc-agda-lib-ffi < 0.0.2-6

ghc-agda-lib-ffi-devel < 0.0.2-6

Conflicts

No Conflicts

Requires

Agda = 2.6.1

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsZstd) <= 5.4.18-1

Recommends

No Recommends

Suggests

No Suggests

Supplements

No Supplements

Enhances

No Enhances

Files

Name	Size
Page: 1 through 50 of 1039 >>>
/usr/share/Agda-stdlib	0.00 B
/usr/share/Agda-stdlib/src	0.00 B
/usr/share/Agda-stdlib/src/Algebra	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Consequences	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Construct	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Construct/NaturalChoice	0.00 B
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties	0.00 B
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Consequences	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Module	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Module/Construct	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Module/Definitions	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Module/Structures	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Morphism	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Operations	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Properties	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Solver	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Solver/CommutativeMonoid	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Solver/IdempotentCommutativeMonoid	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Solver/Ring	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Solver/Ring/NaturalCoefficients	0.00 B
/usr/share/Agda-stdlib/src/Algebra/Structures	0.00 B
/usr/share/Agda-stdlib/src/Axiom	0.00 B
/usr/share/Agda-stdlib/src/Axiom/Extensionality	0.00 B
/usr/share/Agda-stdlib/src/Axiom/UniquenessOfIdentityProofs	0.00 B
/usr/share/Agda-stdlib/src/Category	0.00 B
/usr/share/Agda-stdlib/src/Category/Applicative	0.00 B
/usr/share/Agda-stdlib/src/Category/Functor	0.00 B
/usr/share/Agda-stdlib/src/Category/Monad	0.00 B
/usr/share/Agda-stdlib/src/Category/Monad/Partiality	0.00 B
/usr/share/Agda-stdlib/src/Codata	0.00 B
/usr/share/Agda-stdlib/src/Codata/Cofin	0.00 B
/usr/share/Agda-stdlib/src/Codata/Colist	0.00 B
/usr/share/Agda-stdlib/src/Codata/Conat	0.00 B
/usr/share/Agda-stdlib/src/Codata/Covec	0.00 B
/usr/share/Agda-stdlib/src/Codata/Cowriter	0.00 B
/usr/share/Agda-stdlib/src/Codata/Delay	0.00 B
/usr/share/Agda-stdlib/src/Codata/M	0.00 B
/usr/share/Agda-stdlib/src/Codata/Musical	0.00 B
/usr/share/Agda-stdlib/src/Codata/Musical/Colist	0.00 B
/usr/share/Agda-stdlib/src/Codata/Musical/M	0.00 B
/usr/share/Agda-stdlib/src/Codata/Stream	0.00 B
/usr/share/Agda-stdlib/src/Data	0.00 B
/usr/share/Agda-stdlib/src/Data/AVL	0.00 B
/usr/share/Agda-stdlib/src/Data/AVL/Indexed	0.00 B
/usr/share/Agda-stdlib/src/Data/AVL/NonEmpty	0.00 B
/usr/share/Agda-stdlib/src/Data/Bin	0.00 B
/usr/share/Agda-stdlib/src/Data/Bool	0.00 B
/usr/share/Agda-stdlib/src/Data/BoundedVec	0.00 B
/usr/share/Agda-stdlib/src/Data/Char	0.00 B

Component of

No Buildroots

Main Site Links:

Information for RPM Agda-stdlib-1.3-3.fc33.noarch.rpm