Cloudsmith - Repositories - Ultimaker (ultimaker) - debian-backup (debian-backup) - elpa-agda2-mode

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

Set Me Up

Open-Source — 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).

elpa-agda2-mode 2.5.4.1-3

Download

One-liner (summary)

dependently typed functional programming language — emacs mode

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 contains the emacs interactive development mode for Agda. This mode is the preferred way to write Agda code, and offers features such as iterative development, refinement, case analysis and so on.

License

Unknown

Size

151.8 KB

Downloads

Status	Completed
Checksum (MD5)	cb52322c72193739ad93fe01e915f965
Checksum (SHA-1)	fb2facfd6cbd3889be6dcac8b2ac08899b21a9a8
Checksum (SHA-256)	c7899b0d257f768a8e30fdf1d92faba18279f466328a7c8f16bee35432354fb1
Checksum (SHA-512)	f24def768b44017df4f86ef6649dc6abf37232b061a8981e925503e170f5693eff…
GPG Signature	Download
GPG Fingerprint	c0a114330029b468b1146f70c334efcb2c4f9be3
Distribution	debian/buster - Debian - 10 (Buster)
Storage Region	Dublin, Ireland
Type	Binary (contains binaries and binary artifacts)
Uploaded At	7 months, 2 weeks ago
Uploaded By
Slug Id	elpa-agda2-mode_2541-3_alldeb-ng2e
Unique Id	UrQhFRggcKR9
Version (Raw)	2.5.4.1-3
Version (Parsed)	Major: 2 Minor: 5 Patch: 4 Rev1: 1 Pre (Str): (empty) Pre (Num Array): 3 Type: SemVer (Compat)
	extended metadata
Homepage	http://wiki.portal.chalmers.se/agda/
Installed Size	305.0 KB
Maintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Priority	optional
Section	editors
Source	agda

Dependencies

Checksum (md5)

8b5aefaa732101ae968acd914be09248

Depends	agda-bin	<<2.5.4.1-3.1~
Depends	agda-bin	>=2.5.4.1-3
Depends	emacsen-common
Depends	libghc-agda-dev	>=2.5.4.1-3
Depends	libghc-agda-dev	<<2.5.4.1-3.1~
Recommends	emacs	>=46.0
Enhances	emacs
Enhances	emacs24
Breaks	agda-mode	<<2.5.1
Provides	agda-mode

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 'elpa-agda2-mode' @ Cloudsmith](https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/elpa-agda2-mode/2.5.4.1-3/a=all;xc=main;d=debian%252Fbuster;t=binary/?render=true)](https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/elpa-agda2-mode/2.5.4.1-3/a=all;xc=main;d=debian%252Fbuster;t=binary/)

|This version of 'elpa-agda2-mode' @ Cloudsmith|
.. |This version of 'elpa-agda2-mode' @ Cloudsmith| image:: https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/elpa-agda2-mode/2.5.4.1-3/a=all;xc=main;d=debian%252Fbuster;t=binary/?render=true
   :target: https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/elpa-agda2-mode/2.5.4.1-3/a=all;xc=main;d=debian%252Fbuster;t=binary/

image::https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/elpa-agda2-mode/2.5.4.1-3/a=all;xc=main;d=debian%252Fbuster;t=binary/?render=true[link="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/elpa-agda2-mode/2.5.4.1-3/a=all;xc=main;d=debian%252Fbuster;t=binary/",title="This version of 'elpa-agda2-mode' @ Cloudsmith"]

<a href="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/elpa-agda2-mode/2.5.4.1-3/a=all;xc=main;d=debian%252Fbuster;t=binary/"><img src="https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/elpa-agda2-mode/2.5.4.1-3/a=all;xc=main;d=debian%252Fbuster;t=binary/?render=true" alt="This version of 'elpa-agda2-mode' @ Cloudsmith" /></a>

rendered as:

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

[![Latest version of 'elpa-agda2-mode' @ Cloudsmith](https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/elpa-agda2-mode/latest/a=all;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true)](https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/elpa-agda2-mode/latest/a=all;xc=main;d=debian%252Fbuster;t=binary/)

|Latest version of 'elpa-agda2-mode' @ Cloudsmith|
.. |Latest version of 'elpa-agda2-mode' @ Cloudsmith| image:: https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/elpa-agda2-mode/latest/a=all;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true
   :target: https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/elpa-agda2-mode/latest/a=all;xc=main;d=debian%252Fbuster;t=binary/

image::https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/elpa-agda2-mode/latest/a=all;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true[link="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/elpa-agda2-mode/latest/a=all;xc=main;d=debian%252Fbuster;t=binary/",title="Latest version of 'elpa-agda2-mode' @ Cloudsmith"]

<a href="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/elpa-agda2-mode/latest/a=all;xc=main;d=debian%252Fbuster;t=binary/"><img src="https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/elpa-agda2-mode/latest/a=all;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true" alt="Latest version of 'elpa-agda2-mode' @ Cloudsmith" /></a>

rendered as:

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

To install/use elpa-agda2-mode @ version 2.5.4.1-3 ...

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 elpa-agda2-mode=2.5.4.1-3

Warning: Note that this package is for Debian 10 (Buster) / all and may only work for that configuration.

Still stuck? Need help? Don't panic. Just contact us for help (even if you're not a customer).

Previous Version

Next Version