Duper
Displaying 1-20 of 29 versions of Duper
Sort by
Date
- Not a part of any version track.
01017474 months agoReleased on May 16, 2025 at 2:41:09AMCommit 0101747 builds on its old leanprover/lean4:v4.20.0-rc5v4.20.0-rc599.0 MB Build archive size: 98977871 bytes. - Not a part of any version track.
7864e41v0.0.264 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.255 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.245 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.236 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.228 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.218 months 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.2010 months 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.1910 months 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.1810 months 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 - Not a part of any version track.
6d2d377v0.0.13a year agoReleased on June 8, 2024 at 8:15:06PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0-rc2 - Not a part of any version track.
d53a8f2v0.0.12a year agoReleased on May 27, 2024 at 6:16:15AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0-rc2 - Not a part of any version track.
169bbb5v0.0.11a year agoReleased on April 18, 2024 at 11:24:18PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0-rc2 - Not a part of any version track.
667e860v0.0.10a year agoReleased on March 14, 2024 at 4:32:10AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0-rc2 - Not a part of any version track.
5181e3bv0.0.92 years agoReleased on February 20, 2024 at 10:50:06PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.6.0-rc1 - Not a part of any version track.
a672861v0.0.82 years agoReleased on February 3, 2024 at 5:34:12AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.6.0-rc1