Skip to content

Commit

Permalink
Update benchpress pin
Browse files Browse the repository at this point in the history
  • Loading branch information
@filipeom
filipeom committed Sep 13, 2024
1 parent 0a9066e commit 6c8c2b1
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion smtml.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -54,5 +54,5 @@ available: arch != "arm32" & arch != "x86_32"
pin-depends: [
["colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#6e302cc50d82b8fb04f1b37debf3bc4dafbd3e1b"]
["colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#6e302cc50d82b8fb04f1b37debf3bc4dafbd3e1b"]
["benchpress.dev" "git+https://github.com/sneeuwballen/benchpress.git#1985ba4c12ee34e745ec84e80bf3180cfc283b50"]
["benchpress.dev" "git+https://github.com/filipeom/benchpress.git#50355de32835b12f1b065a4700f493bc3d8c5342"]
]
2 changes: 1 addition & 1 deletion smtml.opam.template
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@ available: arch != "arm32" & arch != "x86_32"
pin-depends: [
["colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#6e302cc50d82b8fb04f1b37debf3bc4dafbd3e1b"]
["colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#6e302cc50d82b8fb04f1b37debf3bc4dafbd3e1b"]
["benchpress.dev" "git+https://github.com/sneeuwballen/benchpress.git#1985ba4c12ee34e745ec84e80bf3180cfc283b50"]
["benchpress.dev" "git+https://github.com/filipeom/benchpress.git#50355de32835b12f1b065a4700f493bc3d8c5342"]
]

0 comments on commit 6c8c2b1

Please sign in to comment.