diff options
-rw-r--r-- | extra/man-pages/checksums | 3 | ||||
-rw-r--r-- | extra/man-pages/sources | 2 | ||||
-rw-r--r-- | extra/man-pages/version | 2 |
3 files changed, 4 insertions, 3 deletions
diff --git a/extra/man-pages/checksums b/extra/man-pages/checksums index 60312a4a..467595bf 100644 --- a/extra/man-pages/checksums +++ b/extra/man-pages/checksums @@ -1 +1,2 @@ -7af5c960a05a7fac56813fe5bfa564a1c280e934363ae03911b67b0b8e23371e man-pages-5.12.tar.xz +%BLAKE3 +e4797eba2085c469c58d100d82a6aab134a1dda50310407ce40f0eeea07f161f man-pages-5.13.tar.xz diff --git a/extra/man-pages/sources b/extra/man-pages/sources index b5526f02..3f7ba675 100644 --- a/extra/man-pages/sources +++ b/extra/man-pages/sources @@ -1 +1 @@ -https://mirrors.edge.kernel.org/pub/linux/docs/man-pages/man-pages-5.12.tar.xz +https://mirrors.edge.kernel.org/pub/linux/docs/man-pages/man-pages-5.13.tar.xz diff --git a/extra/man-pages/version b/extra/man-pages/version index 35970e0a..c20eb4cc 100644 --- a/extra/man-pages/version +++ b/extra/man-pages/version @@ -1 +1 @@ -5.12 1 +5.13 1 |