Commit 660836b9 authored by Weijia Wang's avatar Weijia Wang
Browse files

msolve: format with nixfmt

parent e485d189
Loading
Loading
Loading
Loading
+12 −11
Original line number Diff line number Diff line
{ lib
, stdenv
, fetchFromGitHub
, autoreconfHook
, flint
, gmp
, mpfr
{
  lib,
  stdenv,
  fetchFromGitHub,
  autoreconfHook,
  flint,
  gmp,
  mpfr,
}:

stdenv.mkDerivation (finalAttrs: {
@@ -34,13 +35,13 @@ stdenv.mkDerivation (finalAttrs: {

  doCheck = true;

  meta = with lib; {
  meta = {
    description = "Library for polynomial system solving through algebraic methods";
    mainProgram = "msolve";
    homepage = "https://msolve.lip6.fr";
    changelog = "https://github.com/algebraic-solving/msolve/releases/tag/${finalAttrs.src.rev}";
    license = licenses.gpl2Plus;
    maintainers = with maintainers; [ wegank ];
    platforms = platforms.unix;
    license = lib.licenses.gpl2Plus;
    maintainers = with lib.maintainers; [ wegank ];
    platforms = lib.platforms.unix;
  };
})