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

../
ChezScheme-9.5.2-lp151.1.2.src.rpm                 14-Jan-2020 18:25            34115515
ghc-cheapskate-0.1.1.1-lts13.5.1.src.rpm           14-Jan-2020 18:43               36749
ghc-code-page-0.1.3-lts13.2.3.src.rpm              14-Jan-2020 18:28               13655
ghc-css-text-0.1.3.0-lts13.2.4.src.rpm             14-Jan-2020 18:28               13634
ghc-fingertree-0.1.4.1-lts13.2.3.src.rpm           14-Jan-2020 18:34               28090
ghc-ieee754-0.8.0-lts13.2.3.src.rpm                14-Jan-2020 18:31               26319
ghc-libffi-0.1-lts13.2.3.src.rpm                   14-Jan-2020 18:31               17057
ghc-uniplate-1.6.12-lts13.5.2.src.rpm              14-Jan-2020 18:28               41118
ghc-vector-binary-instances-0.2.5.1-lts13.3.2.s..> 14-Jan-2020 18:28               14557
ghc-xss-sanitize-0.3.6-lts13.2.5.src.rpm           14-Jan-2020 18:37               21254
idris-1.3.2-lts13.2.1.src.rpm                      17-Jan-2020 15:33             2129799
idris2-0.20200306-lts13.11.1.src.rpm               06-Mar-2020 17:26              739083