Skip to content

Commit

Permalink
Merge PR coq#19991: Bump the magic numbers for the 9.0 release.
Browse files Browse the repository at this point in the history
Reviewed-by: proux01
Co-authored-by: proux01 <proux01@users.noreply.github.com>
  • Loading branch information
coqbot-app[bot] and proux01 authored Jan 14, 2025
2 parents 1c962f3 + ca6d5e1 commit e23f836
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tools/configure/configure.ml
Original file line number Diff line number Diff line change
@@ -22,8 +22,8 @@ open CmdArgs.Prefs

let (/) = Filename.concat

let coq_version = "9.0+alpha"
let vo_magic = 82099
let coq_version = "9.1+alpha"
let vo_magic = 90099
let is_a_released_version = false

(** Default OCaml binaries *)

0 comments on commit e23f836

Please sign in to comment.