paulbutchermarkdown0.7.0

Displaying 1-8 of 8 versions of markdown
Sort by
  1. 0.7Version track: 0.7
    0.7.0
    2 hours ago
    Released on August 30, 2026 at 2:04:34PM
    Commit cd064d6 builds on its recent leanprover/lean4:v4.34.0-rc2
    v4.34.0-rc2
    6.2 MB Build archive size: 6167970 bytes.
  2. 0.7Version track: 0.7
    0.7.0
    v0.7.0
    18 hours ago
    Released on August 29, 2026 at 9:47:54PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc2
  3. 0.5Version track: 0.5
    0.5.0
    v0.5.0
    9 days ago
    Released on August 21, 2026 at 9:42:25PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc2
  4. 0.4Version track: 0.4
    0.4.0
    v0.4.0
    14 days ago
    Released on August 16, 2026 at 8:43:08AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc1
  5. 0.3Version track: 0.3
    0.3.0
    v0.3.1
    18 days ago
    Released on August 12, 2026 at 11:23:41AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc1
  6. 0.3Version track: 0.3
    0.3.0
    v0.3.0
    22 days ago
    Released on August 8, 2026 at 4:52:55PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.2
  7. 0.2Version track: 0.2
    0.2.0
    v0.2.0
    22 days ago
    Released on August 8, 2026 at 6:43:15AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.2
  8. 0.1Version track: 0.1
    0.1.0
    v0.1.0
    23 days ago
    Released on August 7, 2026 at 9:10:24PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.2