Duper
Displaying 1-20 of 35 versions of Duper
Sort by
Date
- Not a part of any version track.
aeedf9ev4.25.118 hours 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.
aeedf9ev4.25.118 hours 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.07 days agoReleased on November 17, 2025 at 3:47:35AMCommit 5abbbf4 builds on its recent leanprover/lean4:v4.25.0v4.25.0100.6 MB Build archive size: 100565693 bytes. - Not a part of any version track.
177f53fv4.25.0-rc212 days agoReleased on November 11, 2025 at 4:49:29PMCommit 177f53f builds on its recent 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 month 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.02 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.02 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.266 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.257 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.239 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.2210 months 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 - Not a part of any version track.
053aef4v0.0.14a year agoReleased on July 1, 2024 at 10:47:38PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0