ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-23 13:48:21 +03:00
Code Issues Projects Releases Wiki Activity
158,740 Commits 96 Branches 102 Tags 4.3 GiB
bed0e8b089
Commit Graph

2183 Commits

Author SHA1 Message Date
Gabriel Ebner
698ad2dd4d nasc: 0.5.0 -> 0.5.1 2018-11-10 14:18:31 +01:00
Gabriel Ebner
5f2a7607fa qalculate-gtk: 2.6.2 -> 2.8.1 2018-11-10 13:17:17 +01:00
Timo Kaufmann
ea8d794026
Merge pull request #50092 from r-ryantm/auto-update/jmol 
jmol: 14.29.26 -> 14.29.28
 2018-11-10 10:13:35 +01:00
R. RyanTM
37f01d5bf8 igv: 2.4.14 -> 2.4.15 (#50087) 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions
 2018-11-09 22:42:04 -05:00
R. RyanTM
3902a47bed jmol: 14.29.26 -> 14.29.28 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/jmol/versions
 2018-11-09 16:17:35 -08:00
Jörg Thalheim
c44e7b2e1c
Merge pull request #50024 from r-ryantm/auto-update/ngspice 
ngspice: 28 -> 29
 2018-11-09 14:35:44 +00:00
R. RyanTM
791286efd9 ngspice: 28 -> 29 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ngspice/versions
 2018-11-09 06:07:46 -08:00
Renaud
5810df24a7
Merge pull request #49834 from smaret/gildas-update 
gildas: 20181001_b -> 20181101_a
 2018-11-09 10:20:32 +01:00
Gabriel Ebner
155595b0c7 eprover: 2.1 -> 2.2 2018-11-07 22:33:25 +01:00
Timo Kaufmann
efe6322ce4 pythonPackages.networkx: 2.1 -> 2.2 2018-11-07 20:15:37 +01:00
Timo Kaufmann
72e6e792f6 sage: add fetchSageDiff utility function 2018-11-07 20:15:37 +01:00
Sebastien Maret
1048a7349e gildas: 20181001_b -> 20181101_a 2018-11-06 17:00:10 +01:00
Jörg Thalheim
b3ed2b4c18
Merge pull request #49728 from vbgl/acgtk-1.5.0 
acgtk: 1.3.1 -> 1.5.0
 2018-11-04 17:09:34 +00:00
Théo Zimmermann
dd21f83950 coq_8_9: init at 8.9+beta1 2018-11-04 07:26:29 +00:00
Vincent Laporte
08ac103970
acgtk: 1.3.1 -> 1.5.0 2018-11-04 06:29:27 +00:00
Renaud
848f2f3d0d
Merge pull request #49559 from ikarulus/librepcb 
bump version librepcb-unstable: 2018-06-28 -> 2018-10-31
 2018-11-03 14:38:39 +01:00
Ikarulus
f5af5b19f4 librepcb-unstable: 2018-06-28 -> 2018-10-31 2018-11-03 13:01:41 +01:00
Kevin Quick
411c665f33
yices: 2.6.0 -> 2.6.1 2018-11-02 15:49:09 -07:00
Jan Tojnar
3493f44727
Merge pull request #49560 from worldofpeace/eos-third-update 
update some elementary thirdparty apps
 2018-11-02 21:29:57 +01:00
worldofpeace
0a2420bccd nasc: 0.4.7 -> 0.5.0 2018-11-02 16:01:05 -04:00
Michael Raskin
722476273c
Merge pull request #49547 from fadenb/simgrid_3.21 
simgrid: 3.20 -> 3.21
 2018-11-02 14:22:47 +00:00
Tristan Helmich (omniIT)
4f8cac02c6 simgrid: 3.20 -> 3.21 2018-11-02 14:23:39 +01:00
ikarulus
7bd8805408 kicad 5.0.0 -> 5.0.1 (#49561) 2018-11-02 10:32:32 +01:00
Gabriel Ebner
5de50f8fa3
Merge pull request #49250 from royneary/nim-0.19 
nim: 0.18.0 -> 0.19.0
 2018-11-02 10:20:13 +01:00
Will Dietz
c417342cd2
Merge pull request #48579 from dtzWill/update/z3-4.8.1 
z3: 4.7.1 -> 4.8.1
 2018-11-02 04:02:24 -05:00
royneary
bb2bae6986 mosdeph: fix compilation with nim 0.19 2018-10-31 22:03:27 +01:00
Jörg Thalheim
8df0ca2bbc
coq_8_4: remove 
verasco was its only user
 2018-10-30 13:31:11 +00:00
Timo Kaufmann
2513747356 sage: fix attrname 
This is a minimal change mainly to make sure repology recognizes this
package as sage. I plan a bit more refactoring later, but this is
intentionally kept minimally invasive so that it won't break anything
and can be backported to 18.09.
 2018-10-27 14:18:08 +02:00
Timo Kaufmann
7970a5a475
Merge pull request #49225 from timokau/arb-2.15.1 
arb: 2.14.0 -> 2.15.1
 2018-10-27 12:36:51 +02:00
Timo Kaufmann
fbea2cd77a arb: 2.14.0 -> 2.15.1 2018-10-27 11:27:03 +02:00
Joachim F
b6a5cd8970
Merge pull request #48812 from mpickering/cedille 
cedille bug fixes
 2018-10-24 15:29:47 +00:00
R. RyanTM
c759273e2e star: 2.6.1a -> 2.6.1c 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/star/versions
 2018-10-24 15:22:22 +02:00
Timo Kaufmann
db75fe7313 sage: fix doctest 
The test is depending on the "py2" tag always being added. I patched
that recently to make it possible to test sagedoc individually. Somehow
I missed this doctest.
 2018-10-22 14:52:19 +02:00
Matthew Pickering
08e5ef20d8 cedille: Make a seperate output for the base library 
For now, for normal usage you need to add `${cedille.lib}` to
the `~/.cedille/options` file so that cedille will find the base
libraries. There is no option to pass options by the command line.
 2018-10-22 08:43:07 +00:00
Matthew Pickering
f7d4bc2c71 cedille: Apply patch which unbreaks the options file 
See https://github.com/cedille/cedille/issues/29
 2018-10-22 08:42:01 +00:00
Timo Kaufmann
b39142cd1f sage: fix dochtml tests 2018-10-21 19:17:07 +02:00
Timo Kaufmann
38c2be5ffe sage: fix docbuild 
This is only a hotfix without really knowing the issue. See
https://groups.google.com/forum/#!msg/sage-packaging/VU4h8IWGFLA/mrmCMocYBwAJ
 2018-10-21 14:16:06 +02:00
Timo Kaufmann
a413dedde1
Merge pull request #44527 from timokau/sage-8.4 
[WIP] sage: 8.3 -> 8.4
 2018-10-20 01:34:34 +02:00
Vincent Laporte
c091e93b99
Merge pull request #48617 from Zimmi48/passthru-ocamlPackages-in-coq-package 
coq: add ocamlPackages in passthru
 2018-10-19 09:38:07 +00:00
Jörg Thalheim
a595b872c8
Merge pull request #48509 from r-ryantm/auto-update/gtkwave 
gtkwave: 3.3.94 -> 3.3.95
 2018-10-19 09:29:23 +01:00
Jörg Thalheim
02405cfe83
Merge pull request #48565 from rprospero/sasview-4.2.0 
Sasview: unstable -> 4.2.0
 2018-10-18 21:44:25 +01:00
Jörg Thalheim
84890ac196
Merge pull request #48653 from vbgl/why3-1.1.0 
why3: 1.0.0 -> 1.1.0
 2018-10-18 18:55:10 +01:00
Timo Kaufmann
7ca1c31dfa sage: 8.4.rc1 -> 8.4 2018-10-18 09:58:36 +02:00
Vincent Laporte
bc8d25c1ef
why3: 1.0.0 -> 1.1.0 2018-10-18 05:43:36 +00:00
Jörg Thalheim
4057f2107a
Merge pull request #48511 from r-ryantm/auto-update/gmsh 
gmsh: 4.0.1 -> 4.0.2
 2018-10-17 16:02:01 +01:00
Adam Washington
6be90bf8d7
sasmodels: unstable -> 4.2.0 2018-10-17 14:36:46 +01:00
Théo Zimmermann
fa12476755
coq: add ocamlPackages in passthru 
We might need OCaml packages that are not the one Coq is depending on
but they still need to come from the same package set (same OCaml version).
 2018-10-17 13:26:43 +02:00
Will Dietz
51e511130a z3: 4.7.1 -> 4.8.1 2018-10-16 12:28:06 -05:00
Timo Kaufmann
d2b5518e1e
Merge pull request #48507 from r-ryantm/auto-update/jmol 
jmol: 14.29.22 -> 14.29.26
 2018-10-16 10:36:39 +02:00
R. RyanTM
eeb2ee296c gmsh: 4.0.1 -> 4.0.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions
 2018-10-15 21:54:45 -07:00