SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-morte rpm build for : OpenSuSE. For other distributions click ghc-morte.

Name : ghc-morte
Version : 1.6.9 Vendor : openSUSE
Release : bp150.1.5 Date : 2018-07-30 21:37:30
Group : Development/Languages/Other Source RPM : ghc-morte-1.6.9-bp150.1.5.src.rpm
Size : 15.92 MB
Packager : https://bugs_opensuse_org
Summary : A bare-bones calculus of constructions
Description :
Morte is a typed, purely functional, and strongly normalizing intermediate
language designed for whole-program super-optimization. Use this library to
type-check, optimize, parse, pretty-print, serialize and deserialize
expressions in this intermediate language.

This library also installs an executable that you can use to type-check and
optimize a \'morte\' program.

\"Morte.Core\" contains the core calculus of constructions for this language

\"Morte.Lexer\" contains the \'alex\'-generated lexer for Morte

\"Morte.Parser\" contains the parser for Morte

Read \"Morte.Tutorial\" to learn how to use this library.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15/standard/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-morte-1.6.9-bp150.1.5.x86_64.rpm
     

Provides :
ghc-morte
ghc-morte(x86-64)
libHSmorte-1.6.9-5apsig6pV3e3OnJeMYlfHA-ghc8.0.2.so()(64bit)

Requires :
libHSEarley-0.12.0.0-Jk5Of75hhntFVdKJ4T7g5v-ghc8.0.2.so()(64bit)
libHSListLike-4.5.1-2j6dnRsSogG3l7DrYrcwf6-ghc8.0.2.so()(64bit)
libHSarray-0.5.1.1-ghc8.0.2.so()(64bit)
libHSasn1-encoding-0.9.5-HjPVpmCG8yiHLrShsHhCjx-ghc8.0.2.so()(64bit)
libHSasn1-parse-0.9.4-96kZ6J4cmFC1crIy7sf8ZH-ghc8.0.2.so()(64bit)
libHSasn1-types-0.3.2-BmsjAsDAG1wKuw6iaK2qhb-ghc8.0.2.so()(64bit)
libHSasync-2.1.1.1-8yywY4inVGRLJSCg60gBXj-ghc8.0.2.so()(64bit)
libHSbase-4.9.1.0-ghc8.0.2.so()(64bit)
libHSbase64-bytestring-1.0.0.1-4O9TExPPz6eI82Yj7L4SIj-ghc8.0.2.so()(64bit)
libHSbinary-0.8.3.0-ghc8.0.2.so()(64bit)
libHSblaze-builder-0.4.0.2-FRwZEt0uqtxKWrLYdFtkGs-ghc8.0.2.so()(64bit)
libHSbyteable-0.1.1-2lU1pexQSLj1KbNO17UifQ-ghc8.0.2.so()(64bit)
libHSbytestring-0.10.8.1-ghc8.0.2.so()(64bit)
libHScase-insensitive-1.2.0.10-HOfpaHnAjpYL0MaSMRouLr-ghc8.0.2.so()(64bit)
libHScereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e-ghc8.0.2.so()(64bit)
libHSconnection-0.2.8-1oUxf830NOiCzm2ci5oMlz-ghc8.0.2.so()(64bit)
libHScontainers-0.5.7.1-ghc8.0.2.so()(64bit)
libHScookie-0.4.2.1-KFT1iHDEs8k4PpScwj8zBK-ghc8.0.2.so()(64bit)
libHScryptonite-0.23-J5iLOhKOiqe6eZAAlNaDRV-ghc8.0.2.so()(64bit)
libHSdata-default-class-0.1.2.0-GsXqKN6o1X9jr0fF5qCVD-ghc8.0.2.so()(64bit)
libHSdeepseq-1.4.2.0-ghc8.0.2.so()(64bit)
libHSdirectory-1.3.0.0-ghc8.0.2.so()(64bit)
libHSdlist-0.8.0.3-BHFBNaw8k6n9WiaUNzoXpk-ghc8.0.2.so()(64bit)
libHSdouble-conversion-2.0.2.0-EDlTSXX4lvnCF3YHtxZXE9-ghc8.0.2.so()(64bit)
libHSexceptions-0.8.3-ADEDRATtUrMK1JW4zMQ9U-ghc8.0.2.so()(64bit)
libHSfilepath-1.4.1.1-ghc8.0.2.so()(64bit)
libHSfmlist-0.9-5oU3ipIc7YtDbR5OmEYvtd-ghc8.0.2.so()(64bit)
libHSfoundation-0.0.13-G4GHWkMwmXnF7HKMtT8vGa-ghc8.0.2.so()(64bit)
libHSghc-boot-th-8.0.2-ghc8.0.2.so()(64bit)
libHSghc-prim-0.5.0.0-ghc8.0.2.so()(64bit)
libHShashable-1.2.6.1-ArdkmQrtdsLPQA60ZQw2E-ghc8.0.2.so()(64bit)
libHShourglass-0.2.10-pnbvWmzfcY1rOFETQEmcY-ghc8.0.2.so()(64bit)
libHShttp-client-0.5.7.0-GxAfjgOhyAlCUNLM9vymhT-ghc8.0.2.so()(64bit)
libHShttp-client-tls-0.3.5.1-K2L69oumWXZN0foTSNRJT-ghc8.0.2.so()(64bit)
libHShttp-types-0.9.1-8VVLqkcrtXBAcKyhm7x5Gy-ghc8.0.2.so()(64bit)
libHSinteger-gmp-1.0.0.1-ghc8.0.2.so()(64bit)
libHSmemory-0.14.6-Aar7hKewN999MXzU9kvt2a-ghc8.0.2.so()(64bit)
libHSmicrolens-0.4.8.0-5PXN9DedWooJg6UJ24ter0-ghc8.0.2.so()(64bit)
libHSmicrolens-mtl-0.1.11.0-JZGlAY1k7Eo2CcDKB6BH2V-ghc8.0.2.so()(64bit)
libHSmime-types-0.1.0.7-L89BUovDjdHNvaSCjLfXG-ghc8.0.2.so()(64bit)
libHSmmorph-1.0.9-5bASEvmIkr5CpdAYXwPsn0-ghc8.0.2.so()(64bit)
libHSmtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6-ghc8.0.2.so()(64bit)
libHSnetwork-2.6.3.2-IsLM4TXcLoRI0fmmBYVyQz-ghc8.0.2.so()(64bit)
libHSnetwork-uri-2.6.1.0-Fj1qKIThD9W270EtbkvRHL-ghc8.0.2.so()(64bit)
libHSold-locale-1.0.0.7-KGBP1BSKxH5GCm0LnZP04j-ghc8.0.2.so()(64bit)
libHSparsec-3.1.11-4MSigapSiUw1ERNBXZn0E5-ghc8.0.2.so()(64bit)
libHSpem-0.2.2-CkEwei5500yF2642aAaOAi-ghc8.0.2.so()(64bit)
libHSpipes-4.3.4-IzZdzyWEw6TEBmgi7OaP91-ghc8.0.2.so()(64bit)
libHSpretty-1.1.3.3-ghc8.0.2.so()(64bit)
libHSprimitive-0.6.2.0-4578caNkWQ54Gt1mxLF2Yh-ghc8.0.2.so()(64bit)
libHSprocess-1.4.3.0-ghc8.0.2.so()(64bit)
libHSrandom-1.1-9tceXaeYIMZ4JrKq20Egog-ghc8.0.2.so()(64bit)
libHSsocks-0.5.5-JArtPcFTnbCItWBjXwWAhO-ghc8.0.2.so()(64bit)
libHSstm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve-ghc8.0.2.so()(64bit)
libHSstreaming-commons-0.1.17-H0UlD1YIese4QLvPsCkOiP-ghc8.0.2.so()(64bit)
libHSsystem-fileio-0.3.16.3-CM9f65e6Di0BHsJa4GBInn-ghc8.0.2.so()(64bit)
libHSsystem-filepath-0.4.13.4-A2Mwhikaf043mSvah0r3Va-ghc8.0.2.so()(64bit)
libHStemplate-haskell-2.11.1.0-ghc8.0.2.so()(64bit)
libHStext-1.2.2.2-1cn50juu89QSL9QkUVcRY-ghc8.0.2.so()(64bit)
libHStext-format-0.3.1.1-2rIdrlmbdXRDkxGLbZkfzz-ghc8.0.2.so()(64bit)
libHStime-1.6.0.1-ghc8.0.2.so()(64bit)
libHStls-1.3.11-DcbjxZYoOi19Zch8P69rbn-ghc8.0.2.so()(64bit)
libHStransformers-0.5.2.0-ghc8.0.2.so()(64bit)
libHStransformers-compat-0.5.1.4-IuFogs8HAVUJBWVNMhtssu-ghc8.0.2.so()(64bit)
libHSunix-2.7.2.1-ghc8.0.2.so()(64bit)
libHSutf8-string-1.0.1.1-1DpjxLeTvGg7ttZZojxJR5-ghc8.0.2.so()(64bit)
libHSvector-0.12.0.1-692PQMDMB6pIQ1uGwefDcQ-ghc8.0.2.so()(64bit)
libHSvoid-0.7.2-4PWwLjXxAER9U3zGpDhf6e-ghc8.0.2.so()(64bit)
libHSx509-1.7.1-C4T30QFQadE28olIWlbcR7-ghc8.0.2.so()(64bit)
libHSx509-store-1.6.3-GeGfiRVDKPIANokRZknrAu-ghc8.0.2.so()(64bit)
libHSx509-system-1.6.5-A7YyNvgvdN82pfCAKob3hu-ghc8.0.2.so()(64bit)
libHSx509-validation-1.6.8-F0zJjp84YaxDhcAZu9mdcV-ghc8.0.2.so()(64bit)
libHSzlib-0.6.1.2-7negTfm2ujt1gW4wr40MUp-ghc8.0.2.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.10)(64bit)
libc.so.6(GLIBC_2.11)(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3)(64bit)
libc.so.6(GLIBC_2.3.2)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.7)(64bit)
libdl.so.2()(64bit)
libdl.so.2(GLIBC_2.2.5)(64bit)
libffi.so.7()(64bit)
libffi.so.7(LIBFFI_BASE_7.0)(64bit)
libffi.so.7(LIBFFI_CLOSURE_7.0)(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
libpthread.so.0()(64bit)
libpthread.so.0(GLIBC_2.2.5)(64bit)
librt.so.1()(64bit)
librt.so.1(GLIBC_2.2.5)(64bit)
librt.so.1(GLIBC_2.3.3)(64bit)
libstdc++.so.6()(64bit)
libutil.so.1()(64bit)
libz.so.1()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/usr/bin/morte
/usr/lib64/ghc-8.0.2/morte-1.6.9-5apsig6pV3e3OnJeMYlfHA
/usr/lib64/ghc-8.0.2/morte-1.6.9-5apsig6pV3e3OnJeMYlfHA/libHSmorte-1.6.9-5apsig6pV3e3OnJeMYlfHA-ghc8.0.2.so
/usr/share/doc/packages/ghc-morte
/usr/share/doc/packages/ghc-morte/LICENSE
/usr/share/morte-1.6.9
/usr/share/morte-1.6.9/bench
/usr/share/morte-1.6.9/bench/src
/usr/share/morte-1.6.9/bench/src/concat.mt
/usr/share/morte-1.6.9/bench/src/factorial.mt
/usr/share/morte-1.6.9/bench/src/recursive.mt
/usr/share/morte-1.6.9/test
/usr/share/morte-1.6.9/test/src
/usr/share/morte-1.6.9/test/src/example0.mt
/usr/share/morte-1.6.9/test/src/example1.mt
/usr/share/morte-1.6.9/test/src/example10.mt
/usr/share/morte-1.6.9/test/src/example11.mt
/usr/share/morte-1.6.9/test/src/example12.mt
/usr/share/morte-1.6.9/test/src/example13.mt
/usr/share/morte-1.6.9/test/src/example14.mt
/usr/share/morte-1.6.9/test/src/example15.mt
/usr/share/morte-1.6.9/test/src/example2.mt
/usr/share/morte-1.6.9/test/src/example3.mt
/usr/share/morte-1.6.9/test/src/example4.mt
/usr/share/morte-1.6.9/test/src/example5.mt
/usr/share/morte-1.6.9/test/src/example6.mt
/usr/share/morte-1.6.9/test/src/example7.mt
/usr/share/morte-1.6.9/test/src/example8.mt
/usr/share/morte-1.6.9/test/src/example9.mt

  
ICM