Duper
Displaying 1-20 of 45 versions of Duper
Sort by
Date
- Not a part of any version track.
59409075 days agoReleased on September 28, 2026 at 4:58:10AMCommit 5940907 builds on its recent leanprover/lean4:v4.34.1v4.34.173.3 MB Build archive size: 73256862 bytes. - Not a part of any version track.
9e09cd0v4.34.16 days agoReleased on September 26, 2026 at 2:58:29PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.1 - Not a part of any version track.
b603c49v4.34.017 days agoReleased on September 16, 2026 at 2:47:30AMCommit b603c49 builds on its recent leanprover/lean4:v4.34.0v4.34.073.3 MB Build archive size: 73261942 bytes. - Not a part of any version track.
845ba5fv4.33.02 months agoReleased on August 11, 2026 at 4:52:15AMCommit 845ba5f builds on its old leanprover/lean4:v4.33.0v4.33.072.5 MB Build archive size: 72517847 bytes. - Not a part of any version track.
0992bfav4.32.03 months agoReleased on July 13, 2026 at 4:15:58PMCommit 0992bfa builds on its old leanprover/lean4:v4.32.0v4.32.065.5 MB Build archive size: 65536056 bytes. - Not a part of any version track.
3e56459v4.30.04 months agoReleased on May 26, 2026 at 6:24:44PMCommit 3e56459 builds on its old leanprover/lean4:v4.30.0v4.30.062.1 MB Build archive size: 62054061 bytes. - Not a part of any version track.
301f202v4.29.06 months agoReleased on March 28, 2026 at 2:17:17PMCommit 301f202 builds on its old leanprover/lean4:v4.29.0v4.29.079.4 MB Build archive size: 79399730 bytes. - Not a part of any version track.
4aa43d4v4.28.07 months agoReleased on February 19, 2026 at 3:43:17AMCommit 4aa43d4 builds on its old leanprover/lean4:v4.28.0v4.28.081.8 MB Build archive size: 81762801 bytes. - Not a part of any version track.
03488acv4.27.08 months agoReleased on January 26, 2026 at 8:10:08PMCommit 03488ac builds on its old leanprover/lean4:v4.27.0v4.27.094.4 MB Build archive size: 94428899 bytes. - Not a part of any version track.
93e949fv4.26.010 months agoReleased on December 14, 2025 at 3:35:10PMCommit 93e949f builds on its old leanprover/lean4:v4.26.0v4.26.095.6 MB Build archive size: 95587002 bytes. - Not a part of any version track.
e24b403v4.25.210 months agoReleased on November 27, 2025 at 6:52:54PMCommit e24b403 builds on its old leanprover/lean4:v4.25.2v4.25.2100.6 MB Build archive size: 100563187 bytes. - Not a part of any version track.
aeedf9ev4.25.110 months 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 year 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 year 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.0a year 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.0a year 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.0a year 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.26a year 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.25a year 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.242 years 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