math-comp/multinomials

Issues

• #90 broke nix derivation

  #91 opened 3 months ago by CohenCyril
  4

• make install fails

  #75 opened 4 months ago by haansn08
  8

• Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03

  #71 opened a year ago by MSoegtropIMC
  6

• Failure with coq master

  #64 opened a year ago by CohenCyril
  4

• deprecated lemma

  #60 opened a year ago by affeldt-aist
  1

• Releasing a multinomials 1.6.0

  #77 opened a year ago by proux01
  1

• More generic multinomial (Dagstuhl discussion)

  #19 opened 6 years ago by hivert
  21

• Installation directories - follow a convention?

  #58 opened 2 years ago by SnarkBoojum
  0

• release/update for mathcomp 1.16

  #70 opened 2 years ago by clayrat
  1

• Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09

  #61 opened 2 years ago by MSoegtropIMC
  2

• More precise copyrights?

  #59 opened 2 years ago by SnarkBoojum
  0

• Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02

  #57 opened 3 years ago by MSoegtropIMC
  5

• multinomial and coq-native

  #52 opened 3 years ago by thery
  10

• Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11

  #46 opened 3 years ago by MSoegtropIMC
  0

• Inclusion in the Coq Platform

  #44 opened 3 years ago by MSoegtropIMC
  10

• Misnomer?

  #22 opened 4 years ago by amahboubi
  8

• version for mathcomp 1.12

  #35 opened 4 years ago by thery
  2

• Release 1.6

  #33 opened 5 years ago by CohenCyril
  2

• Notation level issue with toplevel coq

  #21 opened 5 years ago by amahboubi
  6

• Dependencies for Coq 8.10 + Mathcomp 1.9

  #29 opened 5 years ago by amahboubi
  20

• Version for 1.7.0

  #16 opened 6 years ago by thery
  2

• Could you make a release of Multinomials @ 5b46e50 ?

  #14 opened 7 years ago by erikmd
  13

• opam version for 8.5

  #6 opened 9 years ago by thery
  3