charmpp: rename master to main (#22582)
See https://github.com/UIUC-PPL/charm/pull/3303 for context.
This commit is contained in:
parent
513d3bac04
commit
110b50676d
@ -23,7 +23,7 @@ class Charmpp(Package):
|
||||
|
||||
maintainers = ["matthiasdiener"]
|
||||
|
||||
version("master", branch="master")
|
||||
version("main", branch="main")
|
||||
|
||||
version('6.10.2', sha256='7abb4cace8aebdfbb8006eac03eb766897c009cfb919da0d0a33f74c3b4e6deb')
|
||||
version('6.10.1', sha256='ab96198105daabbb8c8bdf370f87b0523521ce502c656cb6cd5b89f69a2c70a8')
|
||||
|
Loading…
Reference in New Issue
Block a user