Duper
Displaying 1-20 of 36 versions of Duper
Sort by
Date
- Not a part of any version track.
e24b403v4.25.217 days agoReleased on November 27, 2025 at 6:52:54PMCommit e24b403 builds on its recent leanprover/lean4:v4.25.2v4.25.2100.6 MB Build archive size: 100563187 bytes. - Not a part of any version track.
e24b403v4.25.217 days agoReleased on November 27, 2025 at 6:52:54PMCommit e24b403 builds on its recent leanprover/lean4:v4.25.2v4.25.2100.6 MB Build archive size: 100563187 bytes. - Not a part of any version track.
aeedf9ev4.25.122 days agoReleased on November 23, 2025 at 1:14:06AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.1 - Not a part of any version track.
5abbbf4v4.25.0a month agoReleased on November 17, 2025 at 3:47:35AMCommit 5abbbf4 builds on its old leanprover/lean4:v4.25.0v4.25.0100.6 MB Build archive size: 100565693 bytes. - Not a part of any version track.
177f53fv4.25.0-rc2a month agoReleased on November 11, 2025 at 4:49:29PMCommit 177f53f builds on its old leanprover/lean4:v4.25.0-rc2v4.25.0-rc2100.5 MB Build archive size: 100528528 bytes. - Not a part of any version track.
8985e30v4.24.02 months agoReleased on October 21, 2025 at 6:17:35PMCommit 8985e30 builds on its old leanprover/lean4:v4.24.0v4.24.096.0 MB Build archive size: 96031365 bytes. - Not a part of any version track.
697cff8v4.23.03 months agoReleased on September 18, 2025 at 1:08:01AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.23.0 - Not a part of any version track.
33ba472v4.22.03 months agoReleased on September 8, 2025 at 4:36:23PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0 - Not a part of any version track.
7864e41v0.0.267 months agoReleased on May 16, 2025 at 2:39:08AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.0-rc5 - Not a part of any version track.
4d3b012v0.0.258 months agoReleased on April 13, 2025 at 5:27:46AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0 - Not a part of any version track.
a0ebd14v0.0.248 months agoReleased on March 31, 2025 at 8:43:33AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.17.0 - Not a part of any version track.
18035f5v0.0.2310 months agoReleased on February 25, 2025 at 10:31:57PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.16.0 - Not a part of any version track.
0f2fda4v0.0.22a year agoReleased on January 12, 2025 at 1:18:21AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0 - Not a part of any version track.
07456e2v0.0.21a year agoReleased on December 18, 2024 at 6:19:06PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.14.0 - Not a part of any version track.
565281fv0.0.20a year agoReleased on November 6, 2024 at 10:14:07PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.13.0 - Not a part of any version track.
23659bev0.0.19a year agoReleased on November 4, 2024 at 4:24:51AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.13.0 - Not a part of any version track.
b4d49b5v0.0.18a year agoReleased on November 4, 2024 at 12:34:58AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
7e3aa0av0.0.17a year agoReleased on October 13, 2024 at 9:33:54PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.11.0 - Not a part of any version track.
c7767b4v0.0.16a year agoReleased on October 3, 2024 at 3:49:57AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.11.0 - Not a part of any version track.
498dbc0v0.0.15a year agoReleased on July 20, 2024 at 6:29:27AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.1