Releases · keithadler/leanstudio

Release list

Lean Studio 0.10.0 Latest

Latest

github-actions released this 28 Sep 07:34

v0.10.0

bd2b7aa

Full Changelog: v0.9.1...v0.10.0

Assets 10

Lean Studio 0.9.1

github-actions released this 27 Sep 02:55

v0.9.1

df43e40

Full Changelog: v0.9.0...v0.9.1

Assets 10

Lean Studio 0.9.0

github-actions released this 26 Sep 22:42

v0.9.0

8e59ad3

Full Changelog: v0.8.0...v0.9.0

Assets 10

Lean Studio 0.8.0

github-actions released this 24 Sep 16:45

v0.8.0

01761b5

Full Changelog: v0.7.0...v0.8.0

Assets 10

Lean Studio 0.7.0

github-actions released this 24 Sep 03:25

v0.7.0

52235d9

Full Changelog: v0.6.0...v0.7.0

Assets 10

Lean Studio 0.6.0

github-actions released this 24 Sep 02:11

v0.6.0

9d2b0cd

What's Changed

Distribution: Homebrew, winget, AppImage, optional signing, and a release checklist by @keithadler in #1

New Contributors

@keithadler made their first contribution in #1

Full Changelog: v0.5.0...v0.6.0

Contributors

keithadler

Assets 10

Lean Studio 0.5.0

github-actions released this 24 Sep 00:07

v0.5.0

5b8c6d4

Full Changelog: v0.4.0...v0.5.0

Assets 8

Lean Studio 0.4.0

github-actions released this 23 Sep 23:13

v0.4.0

ddf0b83

Full Changelog: v0.3.0...v0.4.0

Assets 8

Lean Studio 0.3.0

github-actions released this 23 Sep 22:04

v0.3.0

2256523

Full Changelog: v0.2.0...v0.3.0

Assets 8

Lean Studio 0.2.0

github-actions released this 23 Sep 21:27

v0.2.0

0ab455f

Full Changelog: v0.1.0...v0.2.0

Assets 8

Releases: keithadler/leanstudio

Release list

Lean Studio 0.10.0

Uh oh!

Lean Studio 0.9.1

Uh oh!

Lean Studio 0.9.0

Uh oh!

Lean Studio 0.8.0

Uh oh!

Lean Studio 0.7.0

Uh oh!

Lean Studio 0.6.0

What's Changed

New Contributors

Contributors

Uh oh!

Lean Studio 0.5.0

Uh oh!

Lean Studio 0.4.0

Uh oh!

Lean Studio 0.3.0

Uh oh!

Lean Studio 0.2.0

Uh oh!