Ecosyste.ms: Docker
An open API service providing dependency metadata for docker images.
Package Usage : deb : ubuntu/agda-bin
Explore the latest package usage data for ubuntu/agda-bin in the deb ecosystem, including detailed information on package dependencies and their usage.
Total dependents: 1
Total downloads: 267
More details on packages.ecosyste.ms - JSON
gesiscss/binder-lclem-2dagda-2dkernel-6b4056 202cfa86fec977716b61d564f8681f79b94db9c5
- version: 2.5.3-3build1
- arch: amd64
- upstream: agda
- distro: ubuntu-18.04