Recent cabal metadata revisions
| 2023-06-11T14:33:25Z | MasahiroSakai | logic-TPTP-0.2.0-r2 |
| 2023-06-11T14:33:00Z | MasahiroSakai | logic-TPTP-0.2.0.1-r2 |
| 2023-06-11T14:32:34Z | MasahiroSakai | logic-TPTP-0.2.0.3-r2 |
| 2023-06-11T14:32:06Z | MasahiroSakai | logic-TPTP-0.2.0.4-r2 |
| 2023-06-11T14:31:45Z | MasahiroSakai | logic-TPTP-0.2.0.6-r2 |
| 2023-06-11T14:31:31Z | MasahiroSakai | logic-TPTP-0.2.0.7-r2 |
| 2023-06-11T14:31:13Z | MasahiroSakai | logic-TPTP-0.3.0.0-r2 |
| 2023-06-11T14:30:47Z | MasahiroSakai | logic-TPTP-0.3.0.1-r2 |
| 2023-06-11T14:30:30Z | MasahiroSakai | logic-TPTP-0.3.0.2-r2 |
| 2023-06-11T14:29:58Z | MasahiroSakai | logic-TPTP-0.4.0.0-r2 |
| 2023-06-11T14:29:36Z | MasahiroSakai | logic-TPTP-0.4.1.0-r2 |
| 2023-06-11T14:29:08Z | MasahiroSakai | logic-TPTP-0.4.2.0-r2 |
| 2023-06-11T14:28:48Z | MasahiroSakai | logic-TPTP-0.4.3.0-r2 |
| 2023-06-11T14:28:19Z | MasahiroSakai | logic-TPTP-0.4.4.0-r2 |
| 2023-06-11T14:27:11Z | MasahiroSakai | logic-TPTP-0.4.5.0-r2 |
| 2023-06-11T14:26:49Z | MasahiroSakai | logic-TPTP-0.4.6.0-r2 |
| 2023-06-11T14:26:28Z | MasahiroSakai | logic-TPTP-0.4.7.0-r2 |
| 2023-06-11T14:24:07Z | MasahiroSakai | logic-TPTP-0.5.0.0-r4 |
| 2023-06-11T09:49:59Z | AndreasAbel | yaml-streamly-0.12.2-r1 |
| 2023-06-11T09:49:58Z | AndreasAbel | yaml-streamly-0.12.1-r3 |
| 2023-06-11T09:49:57Z | AndreasAbel | yaml-streamly-0.12.0-r3 |
| 2023-06-11T09:38:17Z | AndreasAbel | libyaml-streamly-0.2.1-r1 |
| 2023-06-11T09:38:16Z | AndreasAbel | libyaml-streamly-0.2.0-r1 |
| 2023-06-10T17:38:06Z | AndreasAbel | xrefcheck-0.2-r1 |
| 2023-06-10T17:38:06Z | AndreasAbel | xrefcheck-0.2.2-r1 |
| 2023-06-10T17:38:05Z | AndreasAbel | xrefcheck-0.2.1-r1 |
| 2023-06-10T17:38:05Z | AndreasAbel | xrefcheck-0.1.3-r1 |
| 2023-06-10T17:38:04Z | AndreasAbel | xrefcheck-0.1.2-r1 |
| 2023-06-10T17:38:04Z | AndreasAbel | xrefcheck-0.1.1-r1 |
| 2023-06-10T17:38:03Z | AndreasAbel | xrefcheck-0.1.1.1-r1 |
| 2023-06-10T17:38:02Z | AndreasAbel | xrefcheck-0.1.0.0-r1 |
| 2023-06-10T16:36:06Z | AndreasAbel | hasktags-0.72.0-r3 |
| 2023-06-10T16:36:05Z | AndreasAbel | hasktags-0.71.2-r4 |
| 2023-06-10T16:36:05Z | AndreasAbel | hasktags-0.71.1-r2 |
| 2023-06-10T16:36:05Z | AndreasAbel | hasktags-0.71.0-r2 |
| 2023-06-10T12:27:13Z | MasahiroSakai | logic-TPTP-0.1-r1 |
| 2023-06-09T20:30:55Z | AndreasAbel | yaml-0.11.6.0-r2 |
| 2023-06-09T15:44:20Z | AndreasAbel | agda2lagda-0.2023.3.25-r1 |
| 2023-06-09T15:44:20Z | AndreasAbel | agda2lagda-0.2023.1.12-r1 |
| 2023-06-09T15:44:19Z | AndreasAbel | agda2lagda-0.2021.6.1-r1 |