| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
Dhall is an explicitly typed configuration language that is not Turing complete. Despite being Turing incomplete, Dhall is a real programming language with a type-checker and evaluator. Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language. This package also includes an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form. Read "Dhall.Tutorial" to learn how to use this library.
| Package | Summary | Distribution | Download |
| dhall-1.42.1-2.fc42.aarch64.html | A configuration language guaranteed to terminate | Fedora Rawhide for aarch64 | dhall-1.42.1-2.fc42.aarch64.rpm |
| dhall-1.42.1-2.fc42.ppc64le.html | A configuration language guaranteed to terminate | Fedora Rawhide for ppc64le | dhall-1.42.1-2.fc42.ppc64le.rpm |
| dhall-1.42.1-2.fc42.s390x.html | A configuration language guaranteed to terminate | Fedora Rawhide for s390x | dhall-1.42.1-2.fc42.s390x.rpm |
| dhall-1.42.1-2.fc42.x86_64.html | A configuration language guaranteed to terminate | Fedora Rawhide for x86_64 | dhall-1.42.1-2.fc42.x86_64.rpm |
| dhall-1.42.1-1.fc41.aarch64.html | A configuration language guaranteed to terminate | Fedora 41 for aarch64 | dhall-1.42.1-1.fc41.aarch64.rpm |
| dhall-1.42.1-1.fc41.ppc64le.html | A configuration language guaranteed to terminate | Fedora 41 for ppc64le | dhall-1.42.1-1.fc41.ppc64le.rpm |
| dhall-1.42.1-1.fc41.s390x.html | A configuration language guaranteed to terminate | Fedora 41 for s390x | dhall-1.42.1-1.fc41.s390x.rpm |
| dhall-1.42.1-1.fc41.x86_64.html | A configuration language guaranteed to terminate | Fedora 41 for x86_64 | dhall-1.42.1-1.fc41.x86_64.rpm |
| dhall-1.41.2-7.fc40.aarch64.html | A configuration language guaranteed to terminate | Fedora 40 for aarch64 | dhall-1.41.2-7.fc40.aarch64.rpm |
| dhall-1.41.2-7.fc40.ppc64le.html | A configuration language guaranteed to terminate | Fedora 40 for ppc64le | dhall-1.41.2-7.fc40.ppc64le.rpm |
| dhall-1.41.2-7.fc40.s390x.html | A configuration language guaranteed to terminate | Fedora 40 for s390x | dhall-1.41.2-7.fc40.s390x.rpm |
| dhall-1.41.2-7.fc40.x86_64.html | A configuration language guaranteed to terminate | Fedora 40 for x86_64 | dhall-1.41.2-7.fc40.x86_64.rpm |
| dhall-1.41.2-5.fc39.aarch64.html | A configuration language guaranteed to terminate | Fedora 39 for aarch64 | dhall-1.41.2-5.fc39.aarch64.rpm |
| dhall-1.41.2-5.fc39.ppc64le.html | A configuration language guaranteed to terminate | Fedora 39 for ppc64le | dhall-1.41.2-5.fc39.ppc64le.rpm |
| dhall-1.41.2-5.fc39.s390x.html | A configuration language guaranteed to terminate | Fedora 39 for s390x | dhall-1.41.2-5.fc39.s390x.rpm |
| dhall-1.41.2-5.fc39.x86_64.html | A configuration language guaranteed to terminate | Fedora 39 for x86_64 | dhall-1.41.2-5.fc39.x86_64.rpm |
| dhall-1.39.0-3.el9.aarch64.html | A configuration language guaranteed to terminate | EPEL 9 for aarch64 | dhall-1.39.0-3.el9.aarch64.rpm |
| dhall-1.39.0-3.el9.ppc64le.html | A configuration language guaranteed to terminate | EPEL 9 for ppc64le | dhall-1.39.0-3.el9.ppc64le.rpm |
| dhall-1.39.0-3.el9.s390x.html | A configuration language guaranteed to terminate | EPEL 9 for s390x | dhall-1.39.0-3.el9.s390x.rpm |
| dhall-1.39.0-3.el9.x86_64.html | A configuration language guaranteed to terminate | EPEL 9 for x86_64 | dhall-1.39.0-3.el9.x86_64.rpm |
Generated by rpm2html 1.6