1. 13 May, 2020 1 commit
  2. 12 Mar, 2020 2 commits
  3. 11 Mar, 2020 1 commit
  4. 06 Mar, 2020 1 commit
  5. 04 Mar, 2020 1 commit
  6. 27 Feb, 2020 1 commit
  7. 26 Feb, 2020 2 commits
  8. 25 Feb, 2020 1 commit
  9. 14 Feb, 2020 2 commits
    • Ludovic Courtès's avatar
      aerosol: Use 'git-checkout'. · 5b93e115
      Ludovic Courtès authored
      One can now run "guix build aerosol" or "guix install aerosol" directly,
      as long as one can access the Aerosol repository over SSH.
      
      * inria/aerosol.scm (aerosol): Change COMMIT to an actual commit ID.
      [source]: Use 'git-checkout'.
      5b93e115
    • Ludovic Courtès's avatar
      Add (non-free icc). · 9544b3ff
      Ludovic Courtès authored
      * non-free/icc.scm: New file.
      9544b3ff
  10. 07 Feb, 2020 3 commits
  11. 21 Jan, 2020 5 commits
  12. 20 Nov, 2019 3 commits
  13. 19 Nov, 2019 1 commit
  14. 15 Nov, 2019 1 commit
  15. 14 Nov, 2019 7 commits
  16. 12 Nov, 2019 1 commit
  17. 25 Oct, 2019 1 commit
  18. 26 Jul, 2019 1 commit
    • AGULLO Emmanuel's avatar
      Preliminary version of a qr_mumps experimental package · 0822b7ee
      AGULLO Emmanuel authored
      The gitlab version of qr_mumps is not open yet so the qr_mumps package must
      first be cloned (say to: /my-custom-path-to/qr_mumps/). Then one may run:
      
      guix environment qr_mumps --with-git-url=/my-custom-path-to/qr_mumps/
      
      or
      
      guix build qr_mumps --with-git-url=/my-custom-path-to/qr_mumps/
      
      or
      
      guix install qr_mumps --with-git-url=/my-custom-path-to/qr_mumps/
      0822b7ee
  19. 18 Jul, 2019 2 commits
  20. 06 Jun, 2019 1 commit
  21. 10 May, 2019 2 commits