Skip to content

Package manifests for 1.5.0 #5

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
keithadler merged 1 commit into from
Oct 11, 2026
Merged

Package manifests for 1.5.0 #5

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions packaging/homebrew/lean-studio.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,9 +7,9 @@
cask "lean-studio" do
arch arm: "arm64", intel: "x64"

version "1.3.0"
sha256 arm: "7fb1447c34990c490d05d77ea8fad9634064bbe3862ec0c184c7818aebb65c6f",
intel: "0877b1947a01a943cc2f2a045632c68c06de0bf16ca67bffe7794642ac87ce0e"
version "1.5.0"
sha256 arm: "b1cf5965b5e8dd2f2f0b3745184b4a23b605f25c151c31ab6d02f4b07d2eb5d7",
intel: "7592ec104f3713138ce91456ae11bb8821a99dd27e704dbdcf11a8cc0bb9ad07"

url "https://github.com/keithadler/leanstudio/releases/download/v#{version}/LeanStudio-#{version}-osx-#{arch}.zip"
name "Lean Studio"
Expand Down
12 changes: 6 additions & 6 deletions packaging/winget/KeithAdler.LeanStudio.installer.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,19 +3,19 @@
# installed as a portable app and put on the PATH (rather than a symlink to the exe).

PackageIdentifier: KeithAdler.LeanStudio
PackageVersion: 1.3.0
PackageVersion: 1.5.0
InstallerType: zip
NestedInstallerType: portable
NestedInstallerFiles:
- RelativeFilePath: LeanStudio\LeanStudio.exe
ArchiveBinariesDependOnPath: true
ReleaseDate: 2026-10-09
ReleaseDate: 2026-10-11
Installers:
- Architecture: x64
InstallerUrl: https://github.com/keithadler/leanstudio/releases/download/v1.3.0/LeanStudio-1.3.0-win-x64.zip
InstallerSha256: 74A3C5C86683623353AC68EC9788B17D1B385E0B2495CEDCE574BFB0E8851F3D
InstallerUrl: https://github.com/keithadler/leanstudio/releases/download/v1.5.0/LeanStudio-1.5.0-win-x64.zip
InstallerSha256: 1E1560F74C27F7B781E31C6736BA7FE78DBF8C5CF2E84595437493E8E5E31B2E
- Architecture: arm64
InstallerUrl: https://github.com/keithadler/leanstudio/releases/download/v1.3.0/LeanStudio-1.3.0-win-arm64.zip
InstallerSha256: 10D4392BD2CF9C37EDBAFBB02442750E6E5C3C4CE26FED63174142CD46D49858
InstallerUrl: https://github.com/keithadler/leanstudio/releases/download/v1.5.0/LeanStudio-1.5.0-win-arm64.zip
InstallerSha256: B7601E41E613C6EB23F1598EA8DAA767609351AEE62CFCC26F0AFA8548BE03D8
ManifestType: installer
ManifestVersion: 1.9.0
4 changes: 2 additions & 2 deletions packaging/winget/KeithAdler.LeanStudio.locale.en-US.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# yaml-language-server: $schema=https://aka.ms/winget-manifest.defaultLocale.1.9.0.schema.json

PackageIdentifier: KeithAdler.LeanStudio
PackageVersion: 1.3.0
PackageVersion: 1.5.0
PackageLocale: en-US
Publisher: Keith Adler
PublisherUrl: https://github.com/keithadler
Expand Down Expand Up @@ -29,6 +29,6 @@ Tags:
- mathematics
- proof-assistant
- theorem-prover
ReleaseNotesUrl: https://github.com/keithadler/leanstudio/releases/tag/v1.3.0
ReleaseNotesUrl: https://github.com/keithadler/leanstudio/releases/tag/v1.5.0
ManifestType: defaultLocale
ManifestVersion: 1.9.0
2 changes: 1 addition & 1 deletion packaging/winget/KeithAdler.LeanStudio.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
# Lean Studio, by Keith Adler (@keithadler). MIT License. See docs/packaging/winget.md.

PackageIdentifier: KeithAdler.LeanStudio
PackageVersion: 1.3.0
PackageVersion: 1.5.0
DefaultLocale: en-US
ManifestType: version
ManifestVersion: 1.9.0
Loading