Debian
dafny package

Publishing history of dafny 2.3.0+dfsg-0.1 source package in Debian

  1. 2.3.0+dfsg-0.1
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2023-06-01 16:42:04 UTC Published Bookworm release main misc 2.3.0+dfsg-0.1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-07-22 10:36:12 UTC Published Bullseye release main misc 2.3.0+dfsg-0.1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-01-20 10:27:55 UTC Published Sid release main misc 2.3.0+dfsg-0.1
  • Published
1 → 3 of 3 results First • Previous • Next • Last

«back