Package Search Help

You can use boolean logic (e.g. AND/OR/NOT) for complex search queries. For more help and examples, see the search documentation.

Search by package name:
my-package (implicit)
name:my-package (explicit)

Search by package filename:
filename:my-package.ext 

Search by package tag:
tag:latest 

Search by package version:
version:1.0.0  prerelease:true (prereleases)
prerelease:false (no prereleases)

Search by package architecture:
architecture:x86_64 

Search by package distribution:
distribution:el 

Search by package license:
license:MIT 

Search by package format:
format:deb 

Search by package status:
status:in_progress 

Search by package file checksum:
checksum:5afba 

Search by package security status:
severity:critical 

Search by package vulnerabilities:
vulnerabilities:>1 
vulnerabilities:<1000 

Search by # of package downloads:
downloads:>8 
downloads:<100 

Search by package type:
type:binary 
type:source 

Search by package size (bytes):
size:>50000 
size:<10000 

Search by dependency name/version:
dependency:log4j 
dependency:log4j=1.0.0 
dependency:log4j>1.0.0 

Search by uploaded date:
uploaded:>"1 day ago" 
uploaded:<"August 14, 2022 EST" 

Search by entitlement token (identifier):
entitlement:3lKPVJPosCsY 

Search by policy violation:
policy_violated:true
deny_policy_violated:true
license_policy_violated:true
vulnerability_policy_violated:true

Search by repository:
repository:repo-name

Search by last download date:
last_downloaded:<"30 days ago" 
last_downloaded:>"August 14, 2022 EST" 

Search queries for all Debian-specific (and related) package types

Search by component:
deb_component:unstable

Search queries for all Maven-specific (and related) package types

Search by group ID:
maven_group_id:org.apache

Search queries for all Docker-specific (and related) package types

Search by image digest:
docker_image_digest:sha256:7c5..6d4
(full hashref only)

Search by layer digest:
docker_layer_digest:sha256:4c4..ae4
(full hashref only)

Field type modifiers (depending on the type, you can influence behaviour)

For all queries, you can use:
~foo for negation

For string queries, you can use:
^foo to anchor to start of term
foo$ to anchor to end of term
foo*bar for fuzzy matching

For number/date or version queries, you can use:
>foo for values greater than
>=foo for values greater / equal
<foo for values less than
<=foo for values less / equal

Need a secure and centralised artifact repository to deliver Alpine, Cargo, CocoaPods, Composer, Conan, Conda, CRAN, Dart, Debian, Docker, Go, Helm, Hex, HuggingFace, LuaRocks, Maven, npm, NuGet, P2, Python, RedHat, Ruby, Swift, Terraform, Vagrant, Raw & More packages?

Cloudsmith is the new standard in Package / Artifact Management and Software Distribution.

With support for all major package formats, you can trust us to manage your software supply chain.

Start My Free Trial
 Open-Source ultimaker ultimaker (Ultimaker) / debian-backup Project
A certifiably-awesome open-source package repository curated by Ultimaker, hosted by Cloudsmith.
Note: Packages in this repository are licensed as GNU General Public License v3.0 or later (dependencies may be licensed differently).

Debian logo libghc-agda-dev  2.5.4.1-3+b1

One-liner (summary)

dependently typed functional programming language

Description

Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code).

Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

License

Unknown

Size

18.8 MB

Downloads

3

Status  Completed
Checksum (MD5) 22f0627b1c05bc23fb07d173e0fe6553
Checksum (SHA-1) ee808d68b4ac19cfee54367a607b6286dc84febf
Checksum (SHA-256) 7fd8a5899692698224597f0593a05a17ede6c4c5030732b05f8e7ae61734501d
Checksum (SHA-512) 0da52b87c0d083930f97f183891b606cf216e0ec8e9ddcde0adcfa95c49dbbed99…
GPG Signature
GPG Fingerprint c0a114330029b468b1146f70c334efcb2c4f9be3
Distribution debian/buster - Debian - 10 (Buster)
Storage Region  Dublin, Ireland
Type  Binary (contains binaries and binary artifacts)
Uploaded At 7 months, 3 weeks ago
Uploaded By alex-borro
Slug Id libghc-agda-dev_2541-3b1_arm64deb-80yi
Unique Id Dh46zOyAy4NC
Version (Raw) 2.5.4.1-3+b1
Version (Parsed)
  • Major: 2
  • Minor: 5
  • Patch: 4
  • Rev1: 1
  • Pre (Str): (empty)
  • Pre (Num Array): 3
  • Type: SemVer (Compat)
  • Metadata: b1
  extended metadata
Homepage http://wiki.portal.chalmers.se/agda/
Installed Size 208.8 MB
Maintainer Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Priority optional
Section haskell
Source agda (2.5.4.1-3)
pkg libghc-agda-dev_2.5.4.1-3+b1_ar… 3
18.8 MB
md5 sha1 sha256 sha512
Package Contents (libghc-agda-dev_2.5.4.1-3+b1_arm64.deb)
Loading...

This package has 726 files/directories.

Dependencies

42

Checksum (md5)

6f8640c873c76171bd740958a6211c4d

Depends
libatomic1 >=4.8
Depends
libc6 >=2.17
Depends
libghc-array-dev-0.5.2.0-03a64
Depends
libghc-async-dev-2.2.1-34a97
Depends
libghc-base-dev-4.11.1.0-7db1a
Depends
libghc-binary-dev-0.8.5.1-45c53
Depends
libghc-blaze-html-dev-0.9.1.1-17b82
Depends
libghc-boxes-dev-0.1.5-d3bf2
Depends
libghc-bytestring-dev-0.10.8.2-b3c02
Depends
libghc-containers-dev-0.5.11.0-1b029
Depends
libghc-data-hash-dev-0.2.0.1-8d9ee
Depends
libghc-deepseq-dev-1.4.3.0-b30f4
Depends
libghc-directory-dev-1.3.1.5-043d2
Depends
libghc-edisoncore-dev-1.3.2.1-ddc23
Depends
libghc-edit-distance-dev-0.2.2.1-34955
Depends
libghc-equivalence-dev-0.3.2-70935
Depends
libghc-filepath-dev-1.4.2-c0b20
Depends
libghc-geniplate-mirror-dev-0.7.6-ce5d7
Depends
libghc-gitrev-dev-1.3.1-627bb
Depends
libghc-hashable-dev-1.2.7.0-5efa0
Depends
libghc-hashtables-dev-1.2.3.1-3ae44
Depends
libghc-haskeline-dev-0.7.4.2-dc8b8
Depends
libghc-ieee754-dev-0.8.0-57e5d
Depends
libghc-mtl-dev-2.2.2-28a8b
Depends
libghc-murmur-hash-dev-0.1.0.9-6beff
Depends
libghc-pretty-dev-1.1.3.6-1c145
Depends
libghc-process-dev-1.6.3.0-5105e
Depends
libghc-regex-tdfa-dev-1.2.3.1-6d2ce
Depends
libghc-stm-dev-2.4.5.1-e1689
Depends
libghc-strict-dev-0.3.2-53bf2
Depends
libghc-template-haskell-dev-2.13.0.0-50e9c
Depends
libghc-text-dev-1.2.3.1-89382
Depends
libghc-time-dev-1.8.0.2-9c1c7
Depends
libghc-transformers-dev-0.5.5.0-b5d2f
Depends
libghc-unordered-containers-dev-0.2.9.0-fa7a1
Depends
libghc-uri-encode-dev-1.5.0.5-f3eb0
Depends
libghc-zlib-dev-0.6.2-7add2
Depends
libgmp10
Depends
libtinfo6 >=6
Depends
zlib1g >=1:1.1.4
Suggests
libghc-agda-doc
Provides
libghc-agda-dev-2.5.4.1-2f72a
Loading...

You can embed a badge in another website that shows this or the latest version of this package.

To embed the badge for this specific package version, use the following:

[![This version of 'libghc-agda-dev' @ Cloudsmith](https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/libghc-agda-dev/2.5.4.1-3+b1/a=arm64;xc=main;d=debian%252Fbuster;t=binary/?render=true)](https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/libghc-agda-dev/2.5.4.1-3+b1/a=arm64;xc=main;d=debian%252Fbuster;t=binary/)
|This version of 'libghc-agda-dev' @ Cloudsmith|
.. |This version of 'libghc-agda-dev' @ Cloudsmith| image:: https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/libghc-agda-dev/2.5.4.1-3+b1/a=arm64;xc=main;d=debian%252Fbuster;t=binary/?render=true
   :target: https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/libghc-agda-dev/2.5.4.1-3+b1/a=arm64;xc=main;d=debian%252Fbuster;t=binary/
image::https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/libghc-agda-dev/2.5.4.1-3+b1/a=arm64;xc=main;d=debian%252Fbuster;t=binary/?render=true[link="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/libghc-agda-dev/2.5.4.1-3+b1/a=arm64;xc=main;d=debian%252Fbuster;t=binary/",title="This version of 'libghc-agda-dev' @ Cloudsmith"]
<a href="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/libghc-agda-dev/2.5.4.1-3+b1/a=arm64;xc=main;d=debian%252Fbuster;t=binary/"><img src="https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/libghc-agda-dev/2.5.4.1-3+b1/a=arm64;xc=main;d=debian%252Fbuster;t=binary/?render=true" alt="This version of 'libghc-agda-dev' @ Cloudsmith" /></a>

rendered as: This version of 'libghc-agda-dev' @ Cloudsmith

To embed the badge for the latest package version, use the following:

[![Latest version of 'libghc-agda-dev' @ Cloudsmith](https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/libghc-agda-dev/latest/a=arm64;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true)](https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/libghc-agda-dev/latest/a=arm64;xc=main;d=debian%252Fbuster;t=binary/)
|Latest version of 'libghc-agda-dev' @ Cloudsmith|
.. |Latest version of 'libghc-agda-dev' @ Cloudsmith| image:: https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/libghc-agda-dev/latest/a=arm64;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true
   :target: https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/libghc-agda-dev/latest/a=arm64;xc=main;d=debian%252Fbuster;t=binary/
image::https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/libghc-agda-dev/latest/a=arm64;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true[link="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/libghc-agda-dev/latest/a=arm64;xc=main;d=debian%252Fbuster;t=binary/",title="Latest version of 'libghc-agda-dev' @ Cloudsmith"]
<a href="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/libghc-agda-dev/latest/a=arm64;xc=main;d=debian%252Fbuster;t=binary/"><img src="https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/libghc-agda-dev/latest/a=arm64;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true" alt="Latest version of 'libghc-agda-dev' @ Cloudsmith" /></a>

rendered as: Latest version of 'libghc-agda-dev' @ Cloudsmith

These instructions assume you have setup the repository first (or read it).

To install/use libghc-agda-dev @ version 2.5.4.1-3+b1 ...

To install packages, you can quickly setup the repository automatically (recommended):

curl -1sLf \
  'https://dl.cloudsmith.io/public/ultimaker/debian-backup/setup.deb.sh' \
  | sudo -E bash

If you need to force a specific distribution, release/version, architecture, or component (if supported), you can also do that (e.g. if your system is compatible but not identical):

curl -1sLf \
  'https://dl.cloudsmith.io/public/ultimaker/debian-backup/setup.deb.sh' \
  | sudo -E distro=debian codename=buster arch=ARCH component=COMPONENT bash

or ... you can manually configure it yourself before installing packages:

apt-get install -y debian-keyring  # debian only
apt-get install -y debian-archive-keyring  # debian only
apt-get install -y apt-transport-https
# For Debian Stretch, Ubuntu 16.04 and later
keyring_location=/usr/share/keyrings/ultimaker-debian-backup-archive-keyring.gpg
# For Debian Jessie, Ubuntu 15.10 and earlier
keyring_location=/etc/apt/trusted.gpg.d/ultimaker-debian-backup.gpg
curl -1sLf 'https://dl.cloudsmith.io/public/ultimaker/debian-backup/gpg.C334EFCB2C4F9BE3.key' |  gpg --dearmor >> ${keyring_location}
curl -1sLf 'https://dl.cloudsmith.io/public/ultimaker/debian-backup/config.deb.txt?distro=debian&codename=buster&component=main' > /etc/apt/sources.list.d/ultimaker-debian-backup.list
sudo chmod 644 ${keyring_location}
sudo chmod 644 /etc/apt/sources.list.d/ultimaker-debian-backup.list
apt-get update
sudo apt-get install libghc-agda-dev=2.5.4.1-3+b1
Warning: Note that this package is for Debian 10 (Buster) / arm64 and may only work for that configuration.
Previous Version
Next Version
Top