aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/tex.scm
blob: 4e46c1a898948c29a0814069ef23fbb4520e0d99 (about) (plain)
blob size (4069KB) exceeds display size limit (100KB).
generated by cgit
d=c5c2a82082ccd238350562f4706d75778121e3cf'>gnu: agda-cubical: Update to 0.6....Josselin Poiret 2023-11-14gnu: agda-categories: Adapt to agda-stdlib 1.7.3....Josselin Poiret 2023-11-14gnu: agda-stdlib: Update to 1.7.3....Josselin Poiret 2023-11-14gnu: agda: Update to 2.6.4....Josselin Poiret 2023-10-11gnu: agda-cubical: Add source file-name....Efraim Flashner 2023-07-22gnu: agda-cubical: Update to 0.5....Josselin Poiret 2023-06-04gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7....Josselin Poiret 2023-06-04gnu: Add agda-1lab....Josselin Poiret 2023-06-04gnu: Add agda-cubical....Josselin Poiret 2023-06-04gnu: Add agda-categories....Josselin Poiret 2023-06-04gnu: Add agda-stdlib....Josselin Poiret 2023-06-04gnu: agda: Add AGDA_LIBDIRS search-path....Josselin Poiret 2023-06-04gnu: emacs-agda2-mode: Switch to G-Exps....Josselin Poiret 2023-06-04gnu: emacs-agda2-mode: No longer inherit from agda....Josselin Poiret 2023-06-04gnu: agda: Build info manual....Josselin Poiret 2023-06-04gnu: agda: Update to 2.6.3 and switch to git-fetch....Josselin Poiret