{
  "name": "texlive-logicproof",
  "hash": "w35qn3etrt27v0wyny9msbwtkajvq2z0",
  "epoch": "8",
  "version": "svn33254.0",
  "release": "24",
  "dist": "oe2003sp4",
  "arch": "noarch",
  "source": "texlive-2018-24.oe2003sp4",
  "depends": [
    {
      "hash": "8nkjn3scz7ngvfybrpemgbwzmrxn09t6",
      "pkgname": "texlive-kpathsea"
    },
    {
      "hash": "3g2kkjdfrrh3yyt90x18jshr5tyhdfe7",
      "pkgname": "texlive-base"
    },
    {
      "hash": "tdfsxc18vey3q1zqwx9sqmga9e8aaqpw",
      "pkgname": "texlive-latex"
    },
    {
      "hash": "ehwsrnahmjp1f4xdz91252f9mzfwrvbk",
      "pkgname": "texlive-tools"
    }
  ],
  "requires": [
    "rpmlib(CompressedFileNames) <= 3.0.4-1",
    "rpmlib(FileDigests) <= 4.6.0-1",
    "rpmlib(PayloadFilesHavePrefix) <= 4.0-1",
    "rpmlib(PayloadIsXz) <= 5.2-1",
    "tex(array.sty)",
    "tex(ifthen.sty)",
    "tex-kpathsea",
    "texlive-base",
    "texlive-kpathsea-bin"
  ],
  "provides": [
    "tex(logicproof.sty) = 2018",
    "tex-logicproof = 2018",
    "texlive-logicproof = 8:svn33254.0-24.oe2003sp4"
  ]
}