• [^] # Re: Compilateur sans bugs

    Posté par . En réponse à la dépêche OpenBSD 5.7 « Blues Brothers ». Évalué à 4.

    En fait il faut faire Copryright.*(inria|INRIA), et là on a 210 paquets qui semblent pertinent. Par exemple ocaml apparaît dans cette nouvelle recherche mais n'était pas inclus dans l'ancienne.

    aevol alt-ergo asm2 asm3 astk audacity batik bino bin-prot biomaj bioperl blender brian browser-history bsh calligra camlimages camlp5 cduce cgal cglib cglib3 chromium-browser cimg clojure1.2 clojure1.4 clojure1.6 cloog coccinelle coq cothreads css2xslfo db db5.3 diet discosnp dita-ot dom4j eclipse eclipselink eclipse-wtp eficas eigen3 elmerfem epubcheck erlang eztrace feel++ ffcall flexml flightcrew florence fplll frama-c freebsd-utils fusionforge geneweb geos getfem++ ginkgocadx giws gl2ps glassfish gnutls28 gofigure2 gprolog gravit gtg-trace gtk+3.0 guake haskell-hxt haskell-hxt-xpath hol88 hol-light hugs98 hwloc icedove iceweasel ikvm isl jatl jaxe jedit jenkins-dom4j jeuclid jhdf jocaml js-of-ocaml jts kde4libs kfreebsd-10 khronos-opengl-man4 kissplice lablgtk2 latexml ledit libasm4-java libcgns libdb-je-java libgd2 liblaf-widget-java libnb-javaparser-java libnb-platform18-java libparanamer-java librdf-rdfa-parser-perl libreoffice librevenge libxapool-java libxbean-java linux linux-tools lisaac llvm-toolchain-snapshot logback logservice lv2 mapsembler2 mathcomp mathpartir matita menhir mingw-ocaml mldemos mldonkey mono monodevelop mpclib3 mpfi mpich mule natbraille ndpmon netbeans newlib nipy ns3 ocaml ocaml-batteries ocaml-extunix ocamlviz ocaml-zarith ocp-indent ohcount opam openjdk-6 openjdk-7 openjdk-7-jre-dcevm openjpa openmeeg openmpi paraview pcl php-xml-dtd picard-tools pxp python-biopython python-nemu pyxb r-cran-rcppeigen repsnapper roboptim-core rtai scikit-learn scilab scilab-ann scilab-celestlab scilab-plotlib scotch simgrid sisu-inject sisu-ioc sofa-framework squidguard ssreflect starpu suricata swap-cwm texlive-bin texlive-extra tiptop trac trac-ja-resource tralics tsung tuareg-mode twisted uclibc uima-addons ulex ulex0.8 virtuoso-opensource visp visualvm vite vlfeat v-sim vtk6 w3c-dtd-xhtml w3c-linkchecker w3c-markup-validator w3c-sgml-lib w3-dtd-mathml whizzytex why wine-gecko-2.21 wine-gecko-2.24 xemacs21-packages xhtmlrenderer xmlcopyeditor xom