Ubuntu
cvc5 package

Publishing history of cvc5 1.0.5-3 source package in Ubuntu

  1. 1.0.5-3
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2024-02-23 21:06:01 UTC Superseded Noble release universe misc 1.0.5-3
  • Superseded by cvc5 - 1.1.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-06-27 20:03:31 UTC Published Mantic release universe misc 1.0.5-3
  Deleted Mantic proposed universe misc 1.0.5-3
1 → 3 of 3 results First • Previous • Next • Last

«back