Profiles › full › package: cvc5 › 1.3.0-3

cvc5.1.3.0-3

Open rendered docs

History

Tick two or more build rows' checkboxes (Deps column), then for version differences.

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-11-06T21:35:27Z2026-11-06-203537successdocse3e51ccbcb8fblessed794176e56da4—
2026-11-06T11:33:25Z2026-11-06-091811successdocse3e51ccbcb8fblessedfb31c329a6a8—
2026-11-05T20:43:59Z2026-11-05-172759successbuild—blessed6836cd8c402c
15 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-cmake.1
  • conf-g++.1.0
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-python-3-dev.1
  • conf-python-3.14.0.0
  • conf-python3-pyparsing.1
  • conf-python3-tomli.1
  • dune.3.24.2
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
2026-11-05T14:11:31Z2026-11-05-140256successdocse3e51ccbcb8fblessed3396586ad0f3—
2026-11-05T08:33:16Z2026-11-05-045351successbuild—blessed5873003088a1
15 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-cmake.1
  • conf-g++.1.0
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-python-3-dev.1
  • conf-python-3.14.0.0
  • conf-python3-pyparsing.1
  • conf-python3-tomli.1
  • dune.3.24.2
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
2026-11-05T04:30:50Z2026-11-05-035011successdocse3e51ccbcb8fblessed8e1312b76554—
2026-11-02T09:14:00Z2026-11-02-090434successdocse3e51ccbcb8fblessedb3276cb34e92—
2026-11-01T11:45:12Z2026-11-01-113646successdocse3e51ccbcb8fblessed0b1692000e6e—
2026-10-30T16:08:28Z2026-10-30-144942successdocse3e51ccbcb8fblessedd60e8f9a5df3—
2026-10-30T12:38:37Z2026-10-30-104247successdocse3e51ccbcb8fblessed5dd0f7832666—
2026-10-30T00:15:43Z2026-10-29-013439successdocse3e51ccbcb8fblessedd2a6bd954fb1—
2026-10-29T00:39:48Z2026-10-28-204621successbuild—blessed5873003088a1
15 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-cmake.1
  • conf-g++.1.0
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-python-3-dev.1
  • conf-python-3.14.0.0
  • conf-python3-pyparsing.1
  • conf-python3-tomli.1
  • dune.3.24.2
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
2026-10-28T03:53:01Z2026-10-28-031445successdocse3e51ccbcb8fblessedec76af325a21—
2026-10-28T02:22:00Z2026-10-27-201705successdocse3e51ccbcb8fblessed639d29a08642—
2026-10-28T01:31:45Z2026-10-27-201705successbuild—blessed37ae950fd1ad—
2026-10-27T18:07:56Z2026-10-27-171126successdocsbe70e18ff08bblessedc0d63686e2f4—
2026-10-27T11:24:17Z2026-10-27-105258successdocsbe70e18ff08bblessedac1914ebc471—
2026-10-26T21:17:21Z2026-10-26-204544successdocsbe70e18ff08bblessed7bbc930e5c39—
2026-10-25T12:58:02Z2026-10-25-114903successdocsbe70e18ff08bblessedd110c8a96b2a—
2026-10-24T23:39:55Z2026-10-24-223844successdocsbe70e18ff08bblessedb33598c828eb—
2026-10-24T17:07:00Z2026-10-24-152942successdocsbe70e18ff08bblessed2928e3023e54—
2026-10-24T14:48:16Z2026-10-24-142314successdocsbe70e18ff08bblessede6221399bb0b—
2026-10-24T10:18:12Z2026-10-24-092246successdocsbe70e18ff08bblessed31504e1554ed—
2026-10-24T06:05:48Z2026-10-24-002606successdocsbe70e18ff08bblesseda51aa16d7fa3—
2026-10-23T22:50:14Z2026-10-23-211721successbuild—blessed963a4f4b4e36—
2026-10-23T22:06:23Z2026-10-23-201901failurebuild—blessed963a4f4b4e36—
2026-10-22T08:55:23Z2026-10-22-023526successdocs3f853b0a9d7bblessed6f259fb6d143—
2026-10-21T21:14:48Z2026-10-21-192926successbuild—blessed63897628d101—
2026-10-17T07:59:02Z2026-10-17-073117successdocs3f853b0a9d7bblessed8b53ec796865—
2026-10-15T23:52:13Z2026-10-15-205801successdocs3f853b0a9d7bblessedbc02714373f5—
2026-10-15T20:27:32Z2026-10-15-165737successbuild—blessed653898324c8e—
2026-10-09T10:18:11Z2026-10-09-091946successdocs3f853b0a9d7bblessed9f6e5a1f2f8f—
2026-10-09T07:32:14Z2026-10-08-120735successdocs3f853b0a9d7bblessed4e9fcd38b8d5—
2026-10-07T04:47:50Z2026-10-07-011659successbuild—blessed653898324c8e—
2026-10-06T22:43:29Z2026-10-06-141424successbuild—blessed15934a344d42—
2026-10-04T14:56:14Z2026-10-04-143904successdocs3f853b0a9d7bblessedb6d6fc323110—
2026-10-03T19:07:47Z2026-10-03-184025successdocs3f853b0a9d7bblessedc4b5983d7958—
2026-10-03T18:05:53Z2026-10-03-173316successdocs3f853b0a9d7bblessede6de9e7b07f2—
2026-10-03T14:40:13Z2026-10-03-142810successdocs3f853b0a9d7bblessede14d1eb7eb74—
2026-10-01T16:30:10Z2026-10-01-161351successdocs3f853b0a9d7bblessede20e0e6c4d9a—
2026-10-01T10:37:05Z2026-10-01-100800successdocs3f853b0a9d7bblessedcc4f5907d890—
2026-09-29T20:53:34Z2026-09-29-205026successdocs3f853b0a9d7bblesseda6083b8a620c—
2026-09-29T03:58:09Z2026-09-29-034426successdocs3f853b0a9d7bblessed45745395d2e1—
2026-09-29T03:58:04Z2026-09-29-034426successbuild—blessed15934a344d42—