aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
blob: 81e967cd34a3c9a94f05e7b79d3520758bc972b0 (about) (plain)
blob size (277KB) exceeds display size limit (100KB).
generated by cgit
3-17gnu: Fix common unquote typos....It's easy to mistype ‘("foo" foo)’ as ‘("foo", foo)’ (which also works). Fix such typos for the proper edification of our young. * gnu/packages/android.scm: Move unquotes to their operands. * gnu/packages/bootloaders.scm: Likewise. * gnu/packages/build-tools.scm: Likewise. * gnu/packages/chemistry.scm: Likewise. * gnu/packages/compression.scm: Likewise. * gnu/packages/connman.scm: Likewise. * gnu/packages/django.scm: Likewise. * gnu/packages/emulators.scm: Likewise. * gnu/packages/engineering.scm: Likewise. * gnu/packages/file-systems.scm: Likewise. * gnu/packages/freedesktop.scm: Likewise. * gnu/packages/games.scm: Likewise. * gnu/packages/gimp.scm: Likewise. * gnu/packages/gl.scm: Likewise. * gnu/packages/gnome.scm: Likewise. * gnu/packages/graphics.scm: Likewise. * gnu/packages/haskell.scm: Likewise. * gnu/packages/irc.scm: Likewise. * gnu/packages/julia.scm: Likewise. * gnu/packages/kde-frameworks.scm: Likewise. * gnu/packages/linux.scm: Likewise. * gnu/packages/lua.scm: Likewise. * gnu/packages/mail.scm: Likewise. * gnu/packages/make-bootstrap.scm: Likewise. * gnu/packages/messaging.scm: Likewise. * gnu/packages/music.scm: Likewise. * gnu/packages/networking.scm: Likewise. * gnu/packages/ocaml.scm: Likewise. * gnu/packages/perl.scm: Likewise. * gnu/packages/python.scm: Likewise. * gnu/packages/python-web.scm: Likewise. * gnu/packages/qt.scm: Likewise. * gnu/packages/ratpoison.scm: Likewise. * gnu/packages/sdl.scm: Likewise. * gnu/packages/sml.scm: Likewise. * gnu/packages/terminals.scm: Likewise. * gnu/packages/text-editors.scm: Likewise. * gnu/packages/video.scm: Likewise. * gnu/packages/virtualization.scm: Likewise. * gnu/packages/vulkan.scm: Likewise. * gnu/packages/wget.scm: Likewise. * gnu/packages/wine.scm: Likewise. * gnu/packages/wm.scm: Likewise. * gnu/packages/xdisorg.scm: Likewise. * gnu/packages/xml.scm: Likewise. * gnu/packages/xorg.scm: Likewise. Tobias Geerinckx-Rice 2017-12-07gnu: cmst: Update to 2017.09.19....* gnu/packages/connman.scm (cmst): Update to 2017.09.19. Tobias Geerinckx-Rice 2017-08-16gnu: connman: Update to 1.35....* gnu/packages/connman.scm (connman): Update to 1.35. Efraim Flashner 2017-06-19gnu: efl: Update to 1.19.1....* gnu/packages/enlightenment.scm (efl): Update to 1.19.1. [arguments]: Add flag to disable systemd support. [phases]: Add phase to set home directory. (terminology, rage)[arguments]: Set home directory before building. * gnu/packages/connman.scm (econnman)[arguments]: Same. Efraim Flashner 2017-05-25gnu: cmst: Use modular Qt....* gnu/packages/connman.scm (cmst)[inputs]: Remove qt; add qtbase. [native-inputs]: Remove qt; add qttools. Ricardo Wurmus 2017-05-03gnu: connman: Update to 1.34....* gnu/packages/connman.scm (connman): Update to 1.34. Mathieu Othacehe 2017-04-26Update name on email address for Mathieu Othacehe.Arun Isaac 2017-04-25gnu: cmst: Update to 2017.03.18....* gnu/packages/connman.scm (cmst): Update to 2017.03.18. Signed-off-by: Arun Isaac <arunisaac@systemreboot.net> Mathieu Othacehe bootstrap sources. Change-Id: Id2b9d29b4ea51aba23ca1aee770e33755b062b19 Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Ashish SHUKLA 2024-07-09gnu: janet: Update to 1.35.2....* gnu/packages/lisp.scm (janet): Update to 1.35.2. Change-Id: I5d623879841bd9a9691c535f7a0242dd371b45b4 jgart 2024-07-04gnu: eisl: Update to 4.00....* gnu/packages/lisp.scm (eisl): Update to 4.00. Change-Id: I2fa69943c6f72cad61e65352de1e496241acb292 Guillaume Le Vaillant 2024-07-04gnu: txr: Update to 295....* gnu/packages/lisp.scm (txr): Update to 295. Change-Id: I8e7430b4931c5eb8772e8138418f52a193d569cd Guillaume Le Vaillant 2024-06-24gnu: patch: Update to latest commit [security fixes]....* gnu/packages/base.scm (patch): Rename to... (patch/pinned): ... this. Hide package. (patch): New variable. * gnu/packages/commencement.scm (patch-mesboot): Inherit from patch/pinned. (patch-boot0): Likewise. (%final-inputs): Replace patch with patch/pinned. * gnu/packages/lisp.scm (cl-asdf): Likewise. * guix/packages.scm (%standard-patch-inputs): Replace patch with patch/pinned. Fixes: https://issues.guix.gnu.org/47144 Reported-by: Mark H Weaver <mhw@netris.org> Change-Id: I54ae41b735f5ba0ebad30ebdfaabe0ccdc3f9873 Maxim Cournoyer 2024-06-07gnu: eisl: Update to 3.90....* gnu/packages/lisp.scm (eisl): Update to 3.90. Change-Id: If4138a8c66c8c0cf54a391f1d75a76717cf26886 Guillaume Le Vaillant 2024-06-07gnu: lisp: Sort packages....* gnu/packages/lisp.scm: Sort packages. Change-Id: I5841189c04be6eff3af77e1e72b100db1b1bbf40 Guillaume Le Vaillant 2024-06-07gnu: ecl: Update to 24.5.10....* gnu/packages/lisp.scm (ecl): Update to 24.5.10. Change-Id: I2d22a4444853e007e2992fbfeaf5d8f82c7c27c6 Guillaume Le Vaillant 2024-06-07gnu: sbcl: Update to 2.4.5....* gnu/packages/lisp.scm (sbcl): Update to 2.4.5. [source]: Remove obsolete patches. [inputs]: Add bash-minimal. [arguments]: Remove trailing booleans. * gnu/local.mk (dist_patch_DATA): Remove obsolete patches. * gnu/packages/patches/sbcl-fix-ppc64-build.patch: Remove file. * gnu/packages/patches/sbcl-fix-riscv-build.patch: Remove file. Change-Id: Id918ee31aec016b987b0831680847b502c88fb5c Guillaume Le Vaillant 2024-06-07gnu: cl-asdf: Update to 3.3.7....* gnu/packages/lisp.scm (cl-asdf): Update to 3.3.7. Change-Id: I6e6825bb2aeee4e281d4c9ff787cf9e02be14b28 Guillaume Le Vaillant 2024-05-28gnu: Add roswell....* gnu/packages/lisp.scm (roswell): New variable. Change-Id: Ic698da54d0c4160fe7ac9dfd32474ea439295537 Modified-by: Guillaume Le Vaillant <glv@posteo.net> Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> bigbug 2024-04-04gnu: lush2: Remove dependency on lapack....* gnu/packages/lisp.scm (lush2): Remove dependency on lapack. Change-Id: Idb7734e93021d6be9f65a5a0f9c4da4581786aee Signed-off-by: Ludovic Courtès <ludo@gnu.org> Romain GARBAGE 2024-03-20gnu: txr: Update to 294....* gnu/packages/lisp.scm (txr): Update to 294. Change-Id: I53693122aaf5b2c0ae8f7f13e846de81f1525fc1 Guillaume Le Vaillant