Release v1.7.3

[MatthewDaggitt]

The main release has now been made. Thank you to @andreasabel for his help.

Before @andreasabel's patch lands, @gallais any chance you could upload the documentation manually as you did before? The release should then be complete.

[gallais]

On it! I'm also reinstalling old versions of Agda to generate the missing docs for 1.6, 1.7.1 and 1.7.3 if possible.

[gallais]

It's live: http://agda.github.io/agda-stdlib/v1.7.3/

[gallais]

I've also pushed v1.7.2.

I tried to also do v1.7.1, v1.7, and v1.6 but could not install the required old Agda versions. :(

[jamesmckinna]

I have (locally) on my laptop agda-2.6.1(.3), agda-2.6.2(.2) and agda-2.6.3... tell me (slowly, carefully, patiently, ;-) maybe offline? DM me on Zulip?) what I would need to do, and I'll see if I can help...?

[gallais]

The process is documented here:

agda-stdlib/notes/release-guide.txt

Lines 72 to 82 in 7f64664

	* Generate and upload documentation for the released version:
	cp travis/* .
	runhaskell GenerateEverything.hs
	./index.sh
	agda -i. -isrc --html index.agda
	mv html v$VERSION
	git checkout gh-pages
	git add v$VERSION/*.html v$VERSION/*.css
	git commit -m "[ release ] doc for version $VERSION"
	git push

You can download the tarballs for the releases here: https://github.com/agda/agda-stdlib/releases
And check the version of Agda to use to generate the html docs here: https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary

[andreasabel]

@gallais wrote:

I tried to also do v1.7.1, v1.7, and v1.6 but could not install the required old Agda versions. :(

Unless you are very short on diskspace, something like stack install --resolver=lts-FOO Agda should work where FOO is the LTS that contains this version of Agda. Although, we had a stackage dark age where we were dropped out of stackage...

Otherwise this table contains the GHC version to build the respective Agda version: https://wiki.portal.chalmers.se/agda/Main/Download

@wenkokke has some tools that help installing Agda (from binary!): https://github.com/wenkokke/setup-agda
But there, you have to know how to run a GH action from the command-line.

[andreasabel]

I did some stackarcheology and wrote down which Agda version is found in which Stackage LTS: https://wiki.portal.chalmers.se/agda/Main/Download

[jamesmckinna]

Hmmm, I seem to have successfully generated HTML for v1.7 and v1.6, but the push to gh-pages on agda does not seem to have worked, I'm getting 404 errors when I follow the corresponding link to @gallais 's above.
For v.1.7.1, (indeed, with all the others) the GenerateEverything script fails (System.FilePath.Find not found), but for v1.6, v1.7, there is an up-to-date (I presume) Everything.agda and friends, so I generated html from there. if someone were to update the agda-stdlib-1.7.1.tar.gz with the generated files, I could have another go.
But meanwhile, where did the HTML I generated end up?

[gallais]

Works for me (it takes a few minute for github to deploy the gh-pages content):

• http://agda.github.io/agda-stdlib/v1.6/

For http://agda.github.io/agda-stdlib/v1.7/ seems like you forgot to run index.sh because the index is empty.

For v.1.7.1, (indeed, with all the others) the GenerateEverything script fails

I think this may be a cabal issue. In which case you should replace runhaskell GenerateEverything.hs with cabal build and then cabal exec GenerateEverything.

[jamesmckinna]

Looks as though that all worked. Thanks for the hand-holding!

• http://agda.github.io/agda-stdlib/v1.7/
• http://agda.github.io/agda-stdlib/v1.7.1/

[MatthewDaggitt]

Thank you everyone!