Duper
Displaying 1-20 of 31 versions of Duper
Sort by
Date
- Not a part of any version track.
a90e666
4 days agoReleased on September 18, 2025 at 1:09:29AMCommit a90e666 builds on its recent leanprover/lean4:v4.23.0v4.23.095.3 MB Build archive size: 95306268 bytes. - Not a part of any version track.
697cff8
v4.23.04 days 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.
33ba472
v4.22.013 days 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.
7864e41
v0.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.
4d3b012
v0.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.
a0ebd14
v0.0.246 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.
18035f5
v0.0.237 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.
0f2fda4
v0.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.
07456e2
v0.0.219 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.
565281f
v0.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.
23659be
v0.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.
b4d49b5
v0.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.
7e3aa0a
v0.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.
c7767b4
v0.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.
498dbc0
v0.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.
053aef4
v0.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.
6d2d377
v0.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.
d53a8f2
v0.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.
169bbb5
v0.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.
667e860
v0.0.102 years 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