Erhitze etwas Olivenöl in einem großen Topf oder Schmortopf. Brate das Rindfleisch in kleinen Portionen bei hoher Hitze an, bis es von allen Seiten gut gebräunt ist. Nimm das Fleisch aus dem Topf und stelle es zur Seite.
Gib wieder etwas Olivenöl in den Topf und brate die Zwiebel und den Knoblauch darin glasig an.
Füge die Karotten und den Kürbis hinzu und brate sie für weitere 5 Minuten mit an.
Rühre Tomatenmark, Paprikapulver und Kreuzkümmel unter und röste alles kurz an, damit die Gewürze ihr Aroma entfalten.
Gib das angebratene Fleisch, die Linsen, das Lorbeerblatt, die gehackten Tomaten und die Rinderbrühe in den Topf. Rühre alles gut um und bringe es zum Kochen.
Reduziere die Hitze und lasse das Ragout bei schwacher Hitze zugedeckt etwa 1 Stunde schmoren, bis das Fleisch zart ist und die Linsen weich sind. Rühre gelegentlich um, damit nichts anbrennt, und füge bei Bedarf etwas mehr Brühe hinzu, falls das Ragout zu dickflüssig wird.
Würze das Ragout zum Schluss mit Salz und Pfeffer nach Geschmack.