| Mode | Name | Size | |
|---|
| -rw-r--r-- | contributing.de.texi | 23526 | 2023-11-15 | gnu: ghc-persistent: Fix build on i686-linux....* gnu/packages/haskell-xyz.scm (ghc-persistent)[source]: Add patch.
* gnu/packages/patches/ghc-persistent-fix-32bit.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: I1b2c8419f3136d6c9df772d7c7abdc83a80d6112
| Efraim Flashner |
| 2023-11-15 | gnu: ghc-memory: Fix building on i686-linux....* gnu/packages/haskell-xyz.scm (ghc-memory)[source]: Add patch.
* gnu/packages/patches/ghc-memory-fix-32bit.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: I8dc7a13a94ce37021ad402b4e2d0cd061220f670
| Efraim Flashner |
| 2023-11-15 | gnu: ghc-bloomfilter: Update to 2.0.1.2....* gnu/packages/haskell-xyz.scm (ghc-bloomfilter): Update to 2.0.1.2.
[source]: Remove patch. Add snippet to fix building on 32-bit systems.
[arguments]: Remove field.
[home-page]: Update to new home-page.
* gnu/packages/patches/ghc-bloomfilter-ghc9.2.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Change-Id: Ie61d079b001f804fd28acaca2acd3127b88935d4
| Efraim Flashner |
| 2023-11-15 | gnu: ghc-basement: Fix build on i686-linux....* gnu/packages/haskell-xyz.scm (ghc-basement)[source]: Add patch.
* gnu/packages/patches/ghc-basement-fix-32bit.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: Ife75c651d4b9cffa14ec1c5165a9254cfee3f09f
| Efraim Flashner |
| 2023-11-14 | gnu: agda-categories: Adapt to agda-stdlib 1.7.3....* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch: New patch.
* gnu/packages/agda.scm (agda-categories)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: I25f16d55f14465a1dae882fd8ec47a95f8598e5c
| Josselin Poiret |
| 2023-11-14 | gnu: agda: Update to 2.6.4....* gnu/packages/agda.scm (agda): Update to 2.6.4. Also build with
optimizations and cluster counting support.
* gnu/packages/patches/agda-use-sphinx-5.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: I98a66678ec401b9201d9fd3a0f606fff9767b4bc
| Josselin Poiret |
ix.fr.texi?id=554bf4f6062713901af01878bce23530fdebed17'>plainabout
| -rw-r--r-- | guix.texi | 906080 | logplainabout |
| -rw-r--r-- | htmlxref.cnf | 20935 | logplainabout |
| d--------- | images | 336 | logplain |
| -rw-r--r-- | local.mk | 7509 | logplainabout |
| -rw-r--r-- | package-hello.scm | 615 | logplainabout |
