(begin
  (use-modules (srfi srfi-19))
  `((title . "GNU Guix 0.9.0 released")
    (author . "Ludovic Courtès")
    (date unquote (make-date 0 0 0 0 5 11 2015 3600))
    (tags unquote (list "Releases"))
    (content
      div
      (p "We are pleased to announce the next alpha release of GNU Guix, version 0.9.0."
         (br))
      (p "The release comes with USB installation images to install the standalone "
         (a (@ (href "http://www.gnu.org/software/guix/manual/en/html_node/System-Installation.html"))
            "GuixSD")
         ", and with tarballs to install the package manager on top of a running GNU/Linux system, either "
         (a (@ (href "http://www.gnu.org/software/guix/manual/en/html_node/Requirements.html"))
            "from source")
         " or "
         (a (@ (href "http://www.gnu.org/software/guix/manual/en/html_node/Binary-Installation.html"))
            "from binaries")
         "."
         (br))
      (p "The highlights for this release include:"
         (br))
      (ul (li "Support for "
              (a (@ (href "/news/container-provisioning-with-guix.html"))
                 "automatic container provisioning")
              " in "
              (a (@ (href "http://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-environment.html"))
                 "guix environment")
              ", for development environments, and in "
              (a (@ (href "http://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-system.html"))
                 "guix system")
              ", for full GuixSD deployments.\n")
          (li "A brand new "
              (a (@ (href "https://www.gnu.org/software/guix/manual/en/html_node/Service-Composition.html"))
                 "service composition framework")
              " for GuixSD.  It significantly improves extensibility and modularity, while providing a framework that makes it easy to reason about how system services relate to each other.  This was one of the main design issues that needed to be addressed on the road to 1.0.\n")
          (li "The new "
              (a (@ (href "http://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-graph.html"))
                 "guix graph")
              " command can draw package dependency graphs with different levels of details.  Likewise, "
              (a (@ (href "http://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-system.html"))
                 "guix system")
              " has a new extension-graph command to draw the system's service composition graph, and a dmd-graph command to draw the service dependency graph as seen by "
              (a (@ (href "http://www.gnu.org/software/dmd/"))
                 "GNU dmd")
              ".\n")
          (li "The new "
              (a (@ (href "http://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-challenge.html"))
                 "guix challenge")
              " command allows users to challenge the authenticity of "
              (a (@ (href "http://www.gnu.org/software/guix/manual/en/html_node/Substitutes.html"))
                 "substitutes")
              " provided by a server.  More on that in a future post!\n")
          (li (a (@ (href "http://www.gnu.org/software/guix/packages/"))
                 "543 new packages")
              ", notably Idris and many "
              (a (@ (href "http://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-import.html"))
                 "imported")
              " Haskell, Python, and R packages.\n")
          (li (a (@ (href "http://debbugs.gnu.org/rrd/guix.html"))
                 "Bug fixes")
              ", documentation, and other niceties!\n"))
      (p "See "
         (a (@ (href "https://lists.gnu.org/archive/html/guix-devel/2015-11/msg00131.html"))
            "https://lists.gnu.org/archive/html/guix-devel/2015-11/msg00131.html")
         " for details."
         (br))
      (h4 "About GNU Guix")
      (p (a (@ (href "http://www.gnu.org/software/guix"))
            "GNU Guix")
         " is a functional package manager for the GNU system.  The Guix System Distribution or GuixSD is an advanced distribution of the GNU system that relies on GNU Guix and "
         (a (@ (href "http://www.gnu.org/distros/free-system-distribution-guidelines.html"))
            "respects the user's freedom")
         "."
         (br))
      (p "In addition to standard package management features, Guix supports transactional upgrades and roll-backs, unprivileged package management, per-user profiles, and garbage collection.  Guix uses low-level mechanisms from the Nix package manager, except that packages are defined as native "
         (a (@ (href "http://www.gnu.org/software/guile"))
            "Guile")
         " modules, using extensions to the "
         (a (@ (href "http://schemers.org")) "Scheme")
         " language.  GuixSD offers a declarative approach to operating system configuration management, and is highly customizable and hackable."
         (br))
      (p "GuixSD can be used on an i686 or x86_64 machine.  It is also possible to use Guix on top of an already installed GNU/Linux system, including on mips64el and armv7."
         (br)))))
