coq-modules
|
coqPackages.paco: 4.0.0 → 4.0.2
|
2020-10-12 09:41:45 +02:00 |
guile-modules
|
guile-reader: 0.6.2 -> 0.6.3
|
2020-10-12 04:07:17 -03:00 |
haskell-modules
|
haskellPackages.neuron: Fix build
|
2020-10-11 16:18:20 +02:00 |
libraries
|
Merge pull request #96486 from wahjava/fix-profanity
|
2020-10-13 21:07:01 +02:00 |
ocaml-modules
|
ocamlPackages.jingoo: 1.3.4 → 1.4.1
|
2020-10-11 11:40:44 +02:00 |
perl-modules
|
ham: 2019-01-22 -> 2020-09-09
|
2020-10-13 11:39:04 +02:00 |
python-modules
|
zope_filerepresentation: fix test
|
2020-10-13 16:41:30 -07:00 |
tools
|
Merge pull request #100219 from srghma/patch-3
|
2020-10-13 16:42:57 +02:00 |