stable

Agda-2.5.2-5.fc26.1 and Agda-stdlib-0.13-1.fc26

FEDORA-2017-f4c32334cc created by petersen 6 years ago for Fedora 26
  • Update Agda to 2.5.2
  • Compile .agda files
  • update agda-stdlib to 0.13

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2017-f4c32334cc

This update has been submitted for testing by petersen.

6 years ago

This update has obsoleted Agda-2.5.2-4.fc26, and has inherited its bugs and notes.

6 years ago

petersen edited this update.

6 years ago

petersen edited this update.

New build(s):

  • Agda-2.5.2-5.fc26.1

Removed build(s):

  • Agda-2.5.2-5.fc26
6 years ago

petersen edited this update.

New build(s):

  • Agda-stdlib-0.13-1.fc26
6 years ago

This update has been pushed to testing.

6 years ago

This update has reached 3 days in testing and can be pushed to stable now if the maintainer wishes

6 years ago

This update has been submitted for stable by petersen.

6 years ago

This update has been pushed to stable.

6 years ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
6 years ago
in testing
6 years ago
in stable
6 years ago
modified
6 years ago
BZ#1224825 Agda-2.5.2 is available
0
0
BZ#1423208 Agda-stdlib: FTBFS in rawhide
0
0

Automated Test Results