Debian
prover9-manual package

Publishing history of prover9-manual package in Debian

1 → 16 of 16 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2023-06-01 16:42:04 UTC Published Bookworm release main doc 0.0.200902a-2.1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-07-22 10:36:12 UTC Published Bullseye release main doc 0.0.200902a-2.1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-01-06 04:41:37 UTC Published Sid release main doc 0.0.200902a-2.1
  • Published
  2017-07-17 06:44:02 UTC Published Buster release main doc 0.0.200902a-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-05-04 17:12:59 UTC Published Stretch release main doc 0.0.200902a-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2013-05-15 04:21:33 UTC Published Jessie release main doc 0.0.200902a-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2013-05-15 04:28:30 UTC Superseded Jessie release main doc 0.0.200902a-1
  • Superseded by prover9-manual - 0.0.200902a-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-01-06 04:52:50 UTC Superseded Sid release main doc 0.0.200902a-2
  • Superseded by prover9-manual - 0.0.200902a-2.1
  • Published
  2011-02-07 15:24:15 UTC Published Wheezy release main doc 0.0.200902a-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2009-03-25 14:08:33 UTC Published Squeeze release main doc 0.0.200902a-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2013-05-04 10:23:27 UTC Superseded Sid release main doc 0.0.200902a-1
  • Superseded by prover9-manual - 0.0.200902a-2
  • Published
  2011-09-13 09:25:23 UTC Superseded Squeeze release main doc 0.0.200811a-1
  • Superseded by prover9-manual - 0.0.200902a-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2011-09-20 10:20:45 UTC Superseded Sid release main doc 0.0.200811a-1
  • Superseded by prover9-manual - 0.0.200902a-1
  • Published
  2011-09-13 09:25:23 UTC Superseded Squeeze release main doc 0.0.200809a-1
  • Superseded by prover9-manual - 0.0.200902a-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2011-09-20 10:20:45 UTC Superseded Sid release main doc 0.0.200809a-1
  • Superseded by prover9-manual - 0.0.200902a-1
  • Published
  2008-10-29 15:12:43 UTC Published Lenny release main doc 0.0.200806a-1
  • Published
1 → 16 of 16 results First • Previous • Next • Last

«back