Releases around dafny-lang/dafny v4.2.0 on GitHub

Maybe you can find something interesting in this list
github
cms-sw/cmssw on GitHub CMSSW_13_0_X_2023-07-23-0000 CMSSW_13_0_X_2023-07-22-1100 CMSSW_13_0_X_2023-07-21-2300 CMSSW_13_0_X_2023-07-21-1100 CMSSW_13_0_X_2023-07-20-2300 CMSSW_13_0_GPU_X_2023-07-21-2300 CMSSW_13_0_GPU_X_2023-07-20-2300
github
JetBrains/kotlin on GitHub build-1.9.20-dev-7228
quay
stackrox-io/main on Quay 4.1.x-491-g4dd2d82e1b 4.1.x-491-g4dd2d82e1b-amd64
github
cms-sw/cmssw on GitHub CMSSW_13_1_X_2023-07-21-1100 CMSSW_13_1_X_2023-07-20-2300 CMSSW_13_1_GPU_X_2023-07-20-2300
github
vitejs/vite on GitHub create-vite@4.4.1
github
cms-sw/cmssw on GitHub CMSSW_13_2_X_2023-07-26-2300 CMSSW_13_2_X_2023-07-26-1100 CMSSW_13_2_X_2023-07-25-2300 CMSSW_13_2_X_2023-07-25-1100 CMSSW_13_2_X_2023-07-24-2300 CMSSW_13_2_X_2023-07-24-1100 CMSSW_13_2_X_2023-07-23-2300 CMSSW_13_2_X_2023-07-23-0000 CMSSW_13_2_X_2023-07-22-1100 CMSSW_13_2_X_2023-07-21-2300 CMSSW_13_2_X_2023-07-21-1100 CMSSW_13_2_X_2023-07-20-2300

Don't miss a new release

NewReleases is sending notifications on new releases.