| Parent directory/ | - | - |
| coq-8.12.0-bp150.23.1.src.rpm | 6787990 | 2020-Aug-20 13:10 |
| flocq-3.3.1-bp150.8.2.src.rpm | 461482 | 2020-Aug-20 13:49 |
| include-what-you-use-0.13-bp150.23.2.src.rpm | 615067 | 2019-Dec-23 11:32 |
| kdevelop5-5.5.0-bp150.88.1.src.rpm | 7072574 | 2020-Mar-11 00:16 |
| kile-2.9.93-bp150.37.1.src.rpm | 8616943 | 2019-Nov-14 09:18 |
| klee-2.0+20191031-bp150.76.2.src.rpm | 741588 | 2019-Dec-23 11:35 |
| klee-uclibc-1.0.0+git.20190816-bp150.45.1.src.rpm | 1957204 | 2020-Jun-23 17:29 |
| lit-0.6.0-bp150.1.1.src.rpm | 85839 | 2019-Mar-11 19:12 |
| llvm-10.0.0-bp150.556.2.src.rpm | 52087 | 2020-Jun-23 17:29 |
| minisat-2.2.0+20130925-bp150.1.1.src.rpm | 51415 | 2019-Mar-11 19:11 |
| ocaml-cairo-0.6.1-bp150.1.1.src.rpm | 98853 | 2020-Feb-27 00:20 |
| ocaml-camlp5-7.11-bp150.1.1.src.rpm | 457380 | 2020-Feb-26 22:45 |
| ocaml-dune-1.11.4-bp150.1.1.src.rpm | 645499 | 2020-Mar-03 02:14 |
| ocaml-lablgtk3-3.1.0-bp150.8.1.src.rpm | 246083 | 2020-Jun-22 20:16 |
| ocaml-rpm-macros-20191101-bp150.3.1.src.rpm | 13865 | 2020-Feb-26 21:03 |
| stp-2.3.1+20171008-bp150.1.1.src.rpm | 2159015 | 2019-Mar-11 19:39 |