Changing github branch name (#46988)

This commit is contained in:
G-Ragghianti 2024-10-15 12:22:03 -04:00 committed by GitHub
parent fc79c37e2d
commit 4d5844b460
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -18,7 +18,7 @@ class Dmtcp(AutotoolsPackage):
license("LGPL-3.0-only")
maintainers("karya0")
version("master", branch="master")
version("main", branch="main")
version("3.0.0", sha256="2c7e95e1dbc55db33433bfee48a65f274298e98f246a36ab6dad1e0694750d37")
version("2.6.0", sha256="3ed62a86dd0cb9c828b93ee8c7c852d6f9c96a0efa48bcfe867521adf7bced68")
version("2.5.2", sha256="0e3e5e15bd401b7b6937f2b678cd7d6a252eab0a143d5740b89cc3bebb4282be")