[FFe] Update agda-bin and agda-stdlib to new upstreams
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
agda-bin (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned | ||
agda-stdlib (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned |
Bug Description
Binary package hint: agda-bin
Hello and welcome to my first freeze exception of the Natty cycle,
I'd like to update agda-bin to 2.2.10 and agda-stdlib to 0.5. These updates go together.
I've tested that they b/i/r just fine.
Rationale
=========
Just before FF, I managed to sneak agda itself into Natty. Unfortunately I then ran out of time before being able to upload the executable (compiler) — which doesn't actually contain much code of its own at all — and standard library.
The standard library is updated in step with the compiler.
The standard library becomes arch independent in this release, meaning that the historically troublesome build will no longer be difficult.
Paperwork
=========
There is no changelog or NEWS file provided for either. I've attached full build logs. Here's the install ones:
laney@chicken> sudo dpkg -i ../build-
[sudo] password for laney:
(Reading database ... 396369 files and directories currently installed.)
Preparing to replace agda-stdlib 0.3-3fakesync (using .../agda-
Unpacking replacement agda-stdlib ...
Setting up agda-stdlib (0.5-1~2.gbpcc8867) ...
Installing new version of config file /etc/emacs/
laney@chicken> sudo dpkg -i ../build-
(Reading database ... 396413 files and directories currently installed.)
Preparing to replace agda-bin 2.2.6-1build1 (using .../agda-
Unpacking replacement agda-bin ...
Setting up agda-bin (2.2.10-
laney@chicken> agda --version
Agda version 2.2.10
laney@chicken> agda -i. test.agda ~/temp
Checking test (/home/
Finished test.
laney@chicken> cat test.agda ~/temp
module test where
data Nat : Set where
zero : Nat
succ : Nat → Nat
plus : Nat → Nat → Nat
plus zero n = n
plus (succ m) n = succ (plus m n)
There's a screenshot showing the standard library working too (colours mean that the file has typechecked). It also typechecks itself in the build, giving some more confidence that it (and the agda binary, actually) worked.
Full debdiffs are also included. You'll see that the agda-bin one is almost a noop.
Cheers,
Iain
Related branches
tags: | added: upgrade-software-version |
Changed in agda-bin (Ubuntu): | |
status: | Confirmed → Fix Released |
Ack. Approved.