No Description
Uploaded | Wed Oct 14 20:00:36 2020 |
md5 checksum | 731b34dfba10eef9a451279291a51fb1 |
arch | x86_64 |
build | py38h32f6830_2 |
build_number | 2 |
depends | coq >=8.6, future, ipykernel, ipython, jupyter_client, pexpect >=4.0, python >=3.8,<3.9.0a0, python_abi 3.8.* *_cp38 |
license | Apache-2.0 |
license_family | Apache |
machine | x86_64 |
operatingsystem | darwin |
platform | osx |
subdir | osx-64 |
target-triplet | x86_64-any-darwin |
timestamp | 1602705535668 |