File: leanpkg-example.toml

package info (click to toggle)
mathlibtools 1.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 272 kB
  • sloc: python: 1,388; sh: 90; makefile: 3
file content (8 lines) | stat: -rw-r--r-- 209 bytes parent folder | download 
1
2
3
4
5
6
7
8
 
[package]
name = "qpf"
version = "0.1"
lean_version = "3.4.2"
path = "src"

[dependencies]
mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "8e4542dafe1f170b9b48d2293ad71e80a18dac87"}