Skip to content

Commit 7fd1143

Browse files
authored
Merge pull request #21 from pulsarrush/patch-1
builder: templates: Add Debian 13 (trixie)
2 parents ef95341 + 4d8b670 commit 7fd1143

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

builder/templates/make-template.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -362,6 +362,7 @@ and os_of_string os ver =
362362
| "debian", "10" -> Debian (10, "buster")
363363
| "debian", "11" -> Debian (11, "bullseye")
364364
| "debian", "12" -> Debian (12, "bookworm")
365+
| "debian", "13" -> Debian (13, "trixie")
365366
| "ubuntu", "10.04" -> Ubuntu (ver, "lucid")
366367
| "ubuntu", "12.04" -> Ubuntu (ver, "precise")
367368
| "ubuntu", "14.04" -> Ubuntu (ver, "trusty")

0 commit comments

Comments
 (0)