Index of /pub/opensuse/repositories/home:/lorenz:/idris/openSUSE_Leap_15.1/x86_64/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ChezScheme-9.5.2-lp151.1.2.x86_64.rpm 25138242020-Jan-14 18:25
ghc-cheapskate-0.1.1.1-lts13.5.1.x86_64.rpm 10718282020-Jan-14 18:43
ghc-cheapskate-devel-0.1.1.1-lts13.5.1.x86_64.rpm 6618482020-Jan-14 18:43
ghc-code-page-0.1.3-lts13.2.3.x86_64.rpm 119082020-Jan-14 18:28
ghc-code-page-devel-0.1.3-lts13.2.3.x86_64.rpm 539082020-Jan-14 18:28
ghc-css-text-0.1.3.0-lts13.2.4.x86_64.rpm 437242020-Jan-14 18:28
ghc-css-text-devel-0.1.3.0-lts13.2.4.x86_64.rpm 1354442020-Jan-14 18:28
ghc-fingertree-0.1.4.1-lts13.2.3.x86_64.rpm 1113762020-Jan-14 18:34
ghc-fingertree-devel-0.1.4.1-lts13.2.3.x86_64.rpm 4275442020-Jan-14 18:34
ghc-idris-1.3.2-lts13.2.1.x86_64.rpm 35660362020-Jan-17 15:33
ghc-idris-devel-1.3.2-lts13.2.1.x86_64.rpm 160265082020-Jan-17 15:33
ghc-ieee754-0.8.0-lts13.2.3.x86_64.rpm 385402020-Jan-14 18:31
ghc-ieee754-devel-0.8.0-lts13.2.3.x86_64.rpm 1484922020-Jan-14 18:31
ghc-libffi-0.1-lts13.2.3.x86_64.rpm 263082020-Jan-14 18:31
ghc-libffi-devel-0.1-lts13.2.3.x86_64.rpm 1210442020-Jan-14 18:31
ghc-uniplate-1.6.12-lts13.5.2.x86_64.rpm 1493562020-Jan-14 18:28
ghc-uniplate-devel-1.6.12-lts13.5.2.x86_64.rpm 6243802020-Jan-14 18:28
ghc-vector-binary-instances-0.2.5.1-lts13.3.2.x8..> 222042020-Jan-14 18:28
ghc-vector-binary-instances-devel-0.2.5.1-lts13...> 783482020-Jan-14 18:28
ghc-xss-sanitize-0.3.6-lts13.2.5.x86_64.rpm 852402020-Jan-14 18:37
ghc-xss-sanitize-devel-0.3.6-lts13.2.5.x86_64.rpm 2637242020-Jan-14 18:37
idris-1.3.2-lts13.2.1.x86_64.rpm 236366562020-Jan-17 15:33
idris2-0.20200306-lts13.11.1.x86_64.rpm 22317202020-Mar-06 17:26
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se