Index of /pub/opensuse/repositories/home:/lorenz:/idris/openSUSE_Leap_15.1/x86_64/
../
ChezScheme-9.5.2-lp151.1.2.x86_64.rpm 14-Jan-2020 18:25 2513824
ghc-cheapskate-0.1.1.1-lts13.5.1.x86_64.rpm 14-Jan-2020 18:43 1071828
ghc-cheapskate-devel-0.1.1.1-lts13.5.1.x86_64.rpm 14-Jan-2020 18:43 661848
ghc-code-page-0.1.3-lts13.2.3.x86_64.rpm 14-Jan-2020 18:28 11908
ghc-code-page-devel-0.1.3-lts13.2.3.x86_64.rpm 14-Jan-2020 18:28 53908
ghc-css-text-0.1.3.0-lts13.2.4.x86_64.rpm 14-Jan-2020 18:28 43724
ghc-css-text-devel-0.1.3.0-lts13.2.4.x86_64.rpm 14-Jan-2020 18:28 135444
ghc-fingertree-0.1.4.1-lts13.2.3.x86_64.rpm 14-Jan-2020 18:34 111376
ghc-fingertree-devel-0.1.4.1-lts13.2.3.x86_64.rpm 14-Jan-2020 18:34 427544
ghc-idris-1.3.2-lts13.2.1.x86_64.rpm 17-Jan-2020 15:33 3566036
ghc-idris-devel-1.3.2-lts13.2.1.x86_64.rpm 17-Jan-2020 15:33 16026508
ghc-ieee754-0.8.0-lts13.2.3.x86_64.rpm 14-Jan-2020 18:31 38540
ghc-ieee754-devel-0.8.0-lts13.2.3.x86_64.rpm 14-Jan-2020 18:31 148492
ghc-libffi-0.1-lts13.2.3.x86_64.rpm 14-Jan-2020 18:31 26308
ghc-libffi-devel-0.1-lts13.2.3.x86_64.rpm 14-Jan-2020 18:31 121044
ghc-uniplate-1.6.12-lts13.5.2.x86_64.rpm 14-Jan-2020 18:28 149356
ghc-uniplate-devel-1.6.12-lts13.5.2.x86_64.rpm 14-Jan-2020 18:28 624380
ghc-vector-binary-instances-0.2.5.1-lts13.3.2.x..> 14-Jan-2020 18:28 22204
ghc-vector-binary-instances-devel-0.2.5.1-lts13..> 14-Jan-2020 18:28 78348
ghc-xss-sanitize-0.3.6-lts13.2.5.x86_64.rpm 14-Jan-2020 18:37 85240
ghc-xss-sanitize-devel-0.3.6-lts13.2.5.x86_64.rpm 14-Jan-2020 18:37 263724
idris-1.3.2-lts13.2.1.x86_64.rpm 17-Jan-2020 15:33 23636656
idris2-0.20200306-lts13.11.1.x86_64.rpm 06-Mar-2020 17:26 2231720